Re: [bug-recutils] Doc patch

[Paul Eggert]

On 08/23/2012 11:53 PM, John Darrington wrote:

> 2. Since since that file comes from gnulib, we should recommend they do the 
> same upstream.

I did that just now, here:

http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=0815bd3d34b072659e4e2c8c97241fe2ccae1cd6

Two gnulib files still have @acronym, though.  They're from upstream so
I'm loath to change them myself.  One is maintain.texi.  Karl,
can you please apply the following patch?  The other file is fdl-1.2.texi;
can that be fixed too?

--- a/doc/maintain.texi
+++ b/doc/maintain.texi
@@ -2057,7 +2057,7 @@ gendocs.sh --email bug-texinfo@@gnu.org -o info-stnd 
info-stnd "GNU info-stnd ma
 @end smallexample
 
 By default, the script uses @command{makeinfo} for generating
address@hidden output.  If you prefer to use @command{texi2html}, use
+HTML output.  If you prefer to use @command{texi2html}, use
 the @option{--texi2html} command line option, e.g.:
 
 @smallexample