diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-12-11 16:49:21 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-04-16 11:00:34 +0200 |
commit | 3bafb58396fb1ae63938ee33f3e33e62b5a01d23 (patch) | |
tree | c33cd3ea2f9969b2b01ccff7f1d0c2fdaa3a9478 /build-aux/gendocs.sh | |
parent | 75d1743ac50af4bc1661bfb43d749c9718d1e310 (diff) | |
download | gnulib-3bafb58396fb1ae63938ee33f3e33e62b5a01d23.tar.gz |
gendocs.sh: default to a common CSS style sheet for HTML output
* build-aux/gendocs.sh (htmlarg): Change default value.
Diffstat (limited to 'build-aux/gendocs.sh')
-rwxr-xr-x | build-aux/gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index a5fa0d6e32..a4e2948921 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -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-04.08 +scriptversion=2015-04-16.10 # Copyright 2003-2015 Free Software Foundation, Inc. # @@ -142,7 +142,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= +htmlarg="--css-ref=/software/gnulib/manual.css" infoarg=--no-split generate_ascii=true generate_html=true |