[PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

[Ludovic Courtès]

The patch below intends to make on-line manuals prettier by default, and
to make it easier to change their style in the future.

It assumes that <http://gnu.org/s/emacs/manual.css> would be copied to
<http://gnu.org/manual/manual.css> as a starting point.

WDYT?

Thanks,
Ludo’.

>From 92cdbab74daf792cb08839dfa6f43114c2128d11 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 | 6 +++---
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 5fac19d..f5fe7fe 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2014-12-11  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.
+
 2014-12-09  Paul Eggert  <address@hidden>
 
        posixtm: avoid compiler warning in a better way
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
index b2e7b09..37d89b9 100755
--- a/build-aux/gendocs.sh
+++ b/build-aux/gendocs.sh
@@ -2,9 +2,9 @@
 # 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=2014-05-01.10
+scriptversion=2014-12-11.16
 
-# Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013
+# Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 
2014
 # Free Software Foundation, Inc.
 #
 # This program is free software: you can redistribute it and/or modify
@@ -143,7 +143,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=/manual/manual.css"
 infoarg=--no-split
 generate_ascii=true
 generate_html=true
-- 
2.1.2