changeset 18319:a204d6803560

gendocs.sh: Set default TOP_NODE_UP_URL in HTML output. Suggested by Gavin Smith <gavinsmith0123@gmail.com>. Reported by myglc2 <myglc2@gmail.com> in <http://bugs.gnu.org/22651>. * build-aux/gendocs.sh (MANUAL_TITLE, PACKAGE, EMAIL) (commonarg, dirargs, dirs, infoarg, generate_ascii) (generate_html, generate_info, generate_tex, outdir) (source_extra, split, srcfile, texarg): Move above 'version'. (htmlarg): Likewise, and add "-c TOP_NODE_UP_URL=/manual".
author Ludovic Courtès <ludo@gnu.org>
date Sat, 07 May 2016 19:15:26 +0200
parents c76b0c5fc2af
children 98584f3b21f5
files ChangeLog build-aux/gendocs.sh
diffstat 2 files changed, 31 insertions(+), 20 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Tue May 17 09:08:02 2016 -0700
+++ b/ChangeLog	Sat May 07 19:15:26 2016 +0200
@@ -1,3 +1,14 @@
+2016-05-20  Ludovic Courtès  <ludo@gnu.org>
+
+	gendocs.sh: Set default TOP_NODE_UP_URL in HTML output.
+	Suggested by Gavin Smith <gavinsmith0123@gmail.com>.
+	Reported by myglc2 <myglc2@gmail.com> in <http://bugs.gnu.org/22651>.
+	* build-aux/gendocs.sh (MANUAL_TITLE, PACKAGE, EMAIL)
+	(commonarg, dirargs, dirs, infoarg, generate_ascii)
+	(generate_html, generate_info, generate_tex, outdir)
+	(source_extra, split, srcfile, texarg): Move above 'version'.
+	(htmlarg): Likewise, and add "-c TOP_NODE_UP_URL=/manual".
+
 2016-05-17  Paul Eggert  <eggert@cs.ucla.edu>
 
 	manywarnings: update for GCC 6.1
--- a/build-aux/gendocs.sh	Tue May 17 09:08:02 2016 -0700
+++ b/build-aux/gendocs.sh	Sat May 07 19:15:26 2016 +0200
@@ -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=2016-01-01.00
+scriptversion=2016-05-20.09
 
 # Copyright 2003-2016 Free Software Foundation, Inc.
 #
@@ -52,6 +52,24 @@
 unset CDPATH
 unset use_texi2html
 
+MANUAL_TITLE=
+PACKAGE=
+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="--css-ref=/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual"
+infoarg=--no-split
+generate_ascii=true
+generate_html=true
+generate_info=true
+generate_tex=true
+outdir=manual
+source_extra=
+split=node
+srcfile=
+texarg="-t @finalout"
+
 version="gendocs.sh $scriptversion
 
 Copyright 2016 Free Software Foundation, Inc.
@@ -74,7 +92,7 @@
   -I DIR       append DIR to the Texinfo search path.
   --common ARG pass ARG in all invocations.
   --html ARG   pass ARG to makeinfo or texi2html for HTML targets,
-                 instead of --css-ref=/software/gnulib/manual.css.
+                 instead of '$htmlarg'.
   --info ARG   pass ARG to makeinfo for Info, instead of --no-split.
   --no-ascii   skip generating the plain text output.
   --no-html    skip generating the html output.
@@ -137,24 +155,6 @@
 Email bug reports or enhancement requests to bug-gnulib@gnu.org.
 "
 
-MANUAL_TITLE=
-PACKAGE=
-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=--css-ref=/software/gnulib/manual.css
-infoarg=--no-split
-generate_ascii=true
-generate_html=true
-generate_info=true
-generate_tex=true
-outdir=manual
-source_extra=
-split=node
-srcfile=
-texarg="-t @finalout"
-
 while test $# -gt 0; do
   case $1 in
     -s)          shift; srcfile=$1;;