Here’s the updated patch. If there are no objections I’ll install Coreutils’s manual.css to /software/gnulib right after pushing the patch.
Ludo’.
>From 0a9320dd0f1d0d93d9204768a6cce5198c9ae8a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <l...@gnu.org> Date: Thu, 11 Dec 2014 16:49:21 +0100 Subject: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output * build-aux/gendocs.sh (htmlarg): Change default value. --- ChangeLog | 5 +++++ build-aux/gendocs.sh | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 41dd857..c0b4895 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2015-04-01 Ludovic Courtès <l...@gnu.org> + + gendocs.sh: default to a common CSS style sheet for HTML output + * build-aux/gendocs.sh (htmlarg): Change default value. + 2015-03-24 Pádraig Brady <p...@draigbrady.com> quotearg-simple-tests: add missing gl_FUNC_MMAP_ANON dependency diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 46faaaf..68b5f40 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-01-02.22 +scriptversion=2015-04-01.21 # Copyright 2003-2015 Free Software Foundation, Inc. # @@ -141,7 +141,7 @@ EMAIL=webmast...@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 -- 2.2.1
