diff man/gnus.texi @ 30070:0c5df70bbee8

Add support for specifying make arguments.
author Andrew Innes <andrewi@gnu.org>
date Wed, 05 Jul 2000 17:21:29 +0000
parents 983e65f12610
children 6c4bf57935ff
line wrap: on
line diff