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
