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?= <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 | 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 <l...@gnu.org> + + 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 <egg...@cs.ucla.edu> 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 @@ 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=/manual/manual.css" infoarg=--no-split generate_ascii=true generate_html=true -- 2.1.2
