From 0b087f56a17296e1710c8594c432e8d6955dc8b2 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 22 Jul 2021 13:44:12 -0700 Subject: [PATCH] maint: Update files from upstream with 'make fetch'. * lib/gendocs.sh: Update. --- lib/gendocs.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.47.2