+2021-07-19 Simon Josefsson <simon@josefsson.org>
+
+ gendocs.sh: Fix local rendering of HTML manuals.
+ * build-aux/gendocs.sh (htmlarg): Don't use relative URLs.
+
2021-07-18 Paul Eggert <eggert@cs.ucla.edu>
explicit_bzero-tests: pacify GCC better
# 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.
#
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
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