From: Karl Berry <karl@freefriends.org>
Date: Thu, 22 Jul 2021 20:44:12 +0000 (-0700)
Subject: maint: Update files from upstream with 'make fetch'.
X-Git-Tag: v1.16.4~1
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=0b087f56a17296e1710c8594c432e8d6955dc8b2;p=thirdparty%2Fautomake.git

maint: Update files from upstream with 'make fetch'.

* lib/gendocs.sh: Update.
---

diff --git a/lib/gendocs.sh b/lib/gendocs.sh
index 1872de9d5..1241ee35a 100755
--- a/lib/gendocs.sh
+++ b/lib/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