[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML out
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output |
Date: |
Wed, 01 Apr 2015 21:39:22 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) |
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?= <address@hidden>
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 <address@hidden>
+
+ 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 <address@hidden>
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 @@ address@hidden # 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