Mercurial > gnulib
changeset 17965:306bb27ebc03
gendocs.sh: default to a common CSS style sheet for HTML output
* build-aux/gendocs.sh (htmlarg): Change default value.
| author | Ludovic Courtès <ludo@gnu.org> |
|---|---|
| date | Thu, 11 Dec 2014 16:49:21 +0100 |
| parents | 5a6167820a2c |
| children | a5f2c2a9c3d1 |
| files | ChangeLog build-aux/gendocs.sh |
| diffstat | 2 files changed, 7 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/ChangeLog Wed Apr 15 18:31:46 2015 +0200 +++ b/ChangeLog Thu Dec 11 16:49:21 2014 +0100 @@ -1,3 +1,8 @@ +2015-04-16 Ludovic Courtès <ludo@gnu.org> + + gendocs.sh: default to a common CSS style sheet for HTML output + * build-aux/gendocs.sh (htmlarg): Change default value. + 2015-04-15 Mats Erik Andersson <gnu@gisladisker.se> gnulib-tool: output bold attribute more portably
--- a/build-aux/gendocs.sh Wed Apr 15 18:31:46 2015 +0200 +++ b/build-aux/gendocs.sh Thu Dec 11 16:49:21 2014 +0100 @@ -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 @@ 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