Subject: [PATCH] gendocs.sh: Fix "dir" link in HTML output

From: Ludovic Courtès <[email-masked]>
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