]> Savannah Git Hosting - gnulib.git/commitdiff
gendocs.sh: document new htmlarg default
authorKarl Berry <karl@freefriends.org>
Tue, 5 May 2015 23:14:12 +0000 (16:14 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 5 May 2015 23:14:12 +0000 (16:14 -0700)
ChangeLog
build-aux/gendocs.sh

index 5e82830a52c067c339e477f0dd556d95a831fb82..cf3acc7ee11dc2571184b71335632c2f2b83aa23 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2015-05-05  Karl Berry  <karl@freefriends.org>
+
+       * build-aux/gendocs.sh (usage): document new css default
+       for HTML (--htmlarg).
+
 2015-04-29  Paul Eggert  <eggert@cs.ucla.edu>
 
        extern-inline: no need for workaround in GCC 5.1
index a4e294892116fc14963f9608ac4e040b48f045c0..c8ca1bbc4f4df92ffa21698aa6a6a306e5d223f1 100755 (executable)
@@ -2,7 +2,7 @@
 # gendocs.sh -- generate a GNU manual in many formats.  This script is
 #   mentioned in maintain.texi.  See the help message below for usage details.
 
-scriptversion=2015-04-16.10
+scriptversion=2015-05-05.16
 
 # Copyright 2003-2015 Free Software Foundation, Inc.
 #
@@ -73,7 +73,8 @@ Options:
   -o OUTDIR    write files into OUTDIR, instead of manual/.
   -I DIR       append DIR to the Texinfo search path.
   --common ARG pass ARG in all invocations.
-  --html ARG   pass ARG to makeinfo or texi2html for HTML targets.
+  --html ARG   pass ARG to makeinfo or texi2html for HTML targets,
+                 instead of --css-ref=/software/gnulib/manual.css.
   --info ARG   pass ARG to makeinfo for Info, instead of --no-split.
   --no-ascii   skip generating the plain text output.
   --no-html    skip generating the html output.
@@ -142,7 +143,7 @@ EMAIL=webmasters@gnu.org  # please override with --email
 commonarg= # passed to all makeinfo/texi2html invcations.
 dirargs=   # passed to all tools (-I dir).
 dirs=      # -I directories.
-htmlarg="--css-ref=/software/gnulib/manual.css"
+htmlarg=--css-ref=/software/gnulib/manual.css
 infoarg=--no-split
 generate_ascii=true
 generate_html=true