]> Savannah Git Hosting - gnulib.git/commitdiff
gendocs.sh: Fix local rendering of HTML manuals.
authorSimon Josefsson <simon@josefsson.org>
Mon, 19 Jul 2021 16:16:28 +0000 (18:16 +0200)
committerSimon Josefsson <simon@josefsson.org>
Mon, 19 Jul 2021 16:16:28 +0000 (18:16 +0200)
* build-aux/gendocs.sh (htmlarg): Don't use relative URLs.

ChangeLog
build-aux/gendocs.sh

index d175c39af5e0dd3b16e8990482b2d041d081984a..22cd100103fb5a00680be0e0cd8565c2b9b14f46 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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
index 1872de9d56a56beb808914cc7258493f93a7eb27..1241ee35aac3f541e1c8c7d6727ce96bbb89a572 100755 (executable)
@@ -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