diff options
author | Simon Josefsson <simon@josefsson.org> | 2021-07-19 18:16:28 +0200 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2021-07-19 18:16:28 +0200 |
commit | c567dcac24dd90a2be051772d9a8c8bbf869221a (patch) | |
tree | e0a67acc458f6983182c46aacffb3054b5c50f59 /build-aux/gendocs.sh | |
parent | f9803478355d038aa060d71bdd9eddf2bd43325f (diff) | |
download | gnulib-c567dcac24dd90a2be051772d9a8c8bbf869221a.tar.gz |
gendocs.sh: Fix local rendering of HTML manuals.
* build-aux/gendocs.sh (htmlarg): Don't use relative URLs.
Diffstat (limited to 'build-aux/gendocs.sh')
-rwxr-xr-x | build-aux/gendocs.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 1872de9d56..1241ee35aa 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 |