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 -@acronym{HTML} 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
