From c567dcac24dd90a2be051772d9a8c8bbf869221a Mon Sep 17 00:00:00 2001 From: Simon Josefsson Date: Mon, 19 Jul 2021 18:16:28 +0200 Subject: [PATCH] gendocs.sh: Fix local rendering of HTML manuals. * build-aux/gendocs.sh (htmlarg): Don't use relative URLs. --- ChangeLog | 5 +++++ build-aux/gendocs.sh | 6 +++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index d175c39af..22cd10010 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2021-07-19 Simon Josefsson + + gendocs.sh: Fix local rendering of HTML manuals. + * build-aux/gendocs.sh (htmlarg): Don't use relative URLs. + 2021-07-18 Paul Eggert explicit_bzero-tests: pacify GCC better diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 1872de9d5..1241ee35a 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=2021-01-01.00 +scriptversion=2021-07-19.18 # Copyright 2003-2021 Free Software Foundation, Inc. # @@ -58,7 +58,7 @@ 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" +htmlarg="--css-ref=https://www.gnu.org/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual" default_htmlarg=true infoarg=--no-split generate_ascii=true @@ -202,7 +202,7 @@ base=$PACKAGE if $default_htmlarg && test -n "$use_texi2html"; then # The legacy texi2html doesn't support TOP_NODE_UP_URL - htmlarg="--css-ref=/software/gnulib/manual.css" + htmlarg="--css-ref=https://www.gnu.org/software/gnulib/manual.css" fi if test -n "$srcfile"; then -- 2.30.2