From: Karl Berry <karl@freefriends.org>
Date: Sat, 25 Aug 2012 15:39:03 +0000 (-0700)
Subject: autoupdate
X-Git-Tag: v0.1~464
X-Git-Url: https://erislabs.net/gitweb/?a=commitdiff_plain;h=f7984c755853f26d42fe7f8905622c4c61dbe10e;p=gnulib.git

autoupdate
---

diff --git a/doc/maintain.texi b/doc/maintain.texi
index aab6cdcb2..9549192f9 100644
--- a/doc/maintain.texi
+++ b/doc/maintain.texi
@@ -5,7 +5,7 @@
 @c For double-sided printing, uncomment:
 @c @setchapternewpage odd
 @c This date is automagically updated when you save this file:
-@set lastupdate June 12, 2012
+@set lastupdate August 24, 2012
 @c %**end of header
 
 @dircategory GNU organization
@@ -2056,9 +2056,9 @@ gendocs.sh --email bug-texinfo@@gnu.org -o info info "GNU Info manual"
 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
-@acronym{HTML} 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
+@option{--texi2html} command line option, e.g.:
 
 @smallexample
 gendocs --texi2html -o texinfo texinfo "GNU Texinfo manual"