[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] gendocs.sh: Fix local rendering of HTML manuals.
From: |
Simon Josefsson |
Subject: |
[PATCH] gendocs.sh: Fix local rendering of HTML manuals. |
Date: |
Mon, 19 Jul 2021 18:19:43 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hi! I noticed that the HTML output of gendocs.sh did not look the same
locally as it does on www.gnu.org, and it was because gendocs.sh
hard-coded a relative URL. I have pushed this patch to use an absolute
URL instead.
/Simon
From c567dcac24dd90a2be051772d9a8c8bbf869221a Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Mon, 19 Jul 2021 18:16:28 +0200
Subject: [PATCH] gendocs.sh: Fix local rendering of HTML manuals.
* build-aux/gendocs.sh (htmlarg): Don't use relative URLs.
---
ChangeLog | 5 +++++
build-aux/gendocs.sh | 6 +++---
2 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index d175c39af..22cd10010 100644
--- 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
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
index 1872de9d5..1241ee35a 100755
--- a/build-aux/gendocs.sh
+++ b/build-aux/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.30.2
signature.asc
Description: PGP signature
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH] gendocs.sh: Fix local rendering of HTML manuals.,
Simon Josefsson <=