]> Savannah Git Hosting - gnulib.git/commitdiff
gendocs.sh: default to a common CSS style sheet for HTML output
authorLudovic Courtès <ludo@gnu.org>
Thu, 11 Dec 2014 15:49:21 +0000 (16:49 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 16 Apr 2015 09:00:34 +0000 (11:00 +0200)
* build-aux/gendocs.sh (htmlarg): Change default value.

ChangeLog
build-aux/gendocs.sh

index c5874627d3694ce0ac529362e2f7650b02b2aabc..441758733c7cf4319e800ec92f743a7b172bcc63 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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
index a5fa0d6e32f625d961b905f81e2b417cdc77f3f5..a4e294892116fc14963f9608ac4e040b48f045c0 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-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