diff options
| author | Karl Berry <karl@freefriends.org> | 2021-07-22 13:44:12 -0700 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2021-07-22 13:44:12 -0700 |
| commit | 0b087f56a17296e1710c8594c432e8d6955dc8b2 (patch) | |
| tree | b6e48ac8039d420e184e0cce4e1aa75956a6172b | |
| parent | cdc5372ba8cbcbf552992e7cbf932e06344b1f85 (diff) | |
| download | automake-0b087f56a17296e1710c8594c432e8d6955dc8b2.tar.gz | |
maint: Update files from upstream with 'make fetch'.
* lib/gendocs.sh: Update.
| -rwxr-xr-x | lib/gendocs.sh | 6 |
1 files 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 |