projects
/
gnulib.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
e8ffd3e
)
autoupdate
author
Karl Berry
<karl@freefriends.org>
Sat, 25 Aug 2012 15:39:03 +0000
(08:39 -0700)
committer
Karl Berry
<karl@freefriends.org>
Sat, 25 Aug 2012 15:39:03 +0000
(08:39 -0700)
doc/maintain.texi
patch
|
blob
|
history
diff --git
a/doc/maintain.texi
b/doc/maintain.texi
index
aab6cdc
..
9549192
100644
(file)
--- 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:
@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
@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
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}, us
e
-
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 th
e
+@option{--texi2html} command line option, e.g.:
@smallexample
gendocs --texi2html -o texinfo texinfo "GNU Texinfo manual"
@smallexample
gendocs --texi2html -o texinfo texinfo "GNU Texinfo manual"