bug-gnulib
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]