gnustandards ChangeLog maintain.texi

[karl]

CVSROOT:        /sources/gnustandards
Module name:    gnustandards
Changes by:     karl <karl>     12/08/24 23:53:39

Modified files:
        .              : ChangeLog maintain.texi 

Log message:
        do not use @acronym{HTML}, for consistency

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/gnustandards/ChangeLog?cvsroot=gnustandards&r1=1.167&r2=1.168
http://cvs.savannah.gnu.org/viewcvs/gnustandards/maintain.texi?cvsroot=gnustandards&r1=1.224&r2=1.225

Patches:
Index: ChangeLog
===================================================================
RCS file: /sources/gnustandards/gnustandards/ChangeLog,v
retrieving revision 1.167
retrieving revision 1.168
diff -u -b -r1.167 -r1.168
--- ChangeLog   13 Jul 2012 17:00:14 -0000      1.167
+++ ChangeLog   24 Aug 2012 23:53:39 -0000      1.168
@@ -1,3 +1,8 @@
+2012-08-24  Karl Berry  <address@hidden>
+
+       * maintain.texi (Invoking gendocs.sh): don't use @acronym
+       for "HTML", for consistency.
+
 2012-07-13  Paul Eggert  <address@hidden>
 
        * make-stds.texi (Directory Variables): configure.ac preferred

Index: maintain.texi
===================================================================
RCS file: /sources/gnustandards/gnustandards/maintain.texi,v
retrieving revision 1.224
retrieving revision 1.225
diff -u -b -r1.224 -r1.225
--- maintain.texi       15 Jun 2012 15:56:26 -0000      1.224
+++ maintain.texi       24 Aug 2012 23:53:39 -0000      1.225
@@ -5,7 +5,7 @@
 @c For double-sided printing, uncomment:
 @c @setchapternewpage odd
 @c This date is automagically updated when you save this file:
address@hidden lastupdate June 12, 2012
address@hidden lastupdate August 24, 2012
 @c %**end of header
 
 @dircategory GNU organization
@@ -2056,9 +2056,9 @@
 gendocs.sh --email bug-texinfo@@gnu.org -o info-stnd info-stnd "GNU info-stnd 
manual"
 @end smallexample
 
-By default, the script uses @command{makeinfo} for generating
address@hidden output.  If you prefer to use @command{texi2html}, use
-the @option{--texi2html} command line option, e.g.:
+By default, the script uses @command{makeinfo} for generating HTML
+output.  If you prefer to use @command{texi2html}, use the
address@hidden command line option, e.g.:
 
 @smallexample
 gendocs --texi2html -o texinfo texinfo "GNU Texinfo manual"