[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] gendocs.sh: Fix "dir" link in HTML output
From: |
Ludovic Courtès |
Subject: |
[PATCH] gendocs.sh: Fix "dir" link in HTML output |
Date: |
Sat, 7 May 2016 19:25:09 +0200 |
Hello!
This patch aims to fix “dir” links in HTML output, as discussed at
<https://lists.gnu.org/archive/html/bug-texinfo/2016-05/msg00005.html>.
If there are no objections, I’d like to commit it within a couple
of days.
Thanks,
Ludo’.
Ludovic Courtès (1):
gendocs.sh: Set default TOP_NODE_UP_URL in HTML output.
build-aux/gendocs.sh | 40 ++++++++++++++++++++--------------------
1 file changed, 20 insertions(+), 20 deletions(-)
--
2.7.4
- [PATCH] gendocs.sh: Fix "dir" link in HTML output,
Ludovic Courtès <=