bug#22651: [PATCH] gendocs.sh: Set default TOP_NODE_UP_URL in HTML output.

2016-05-07 Thread Ludovic Courtès
Suggested by Gavin Smith . Reported by myglc2 in . * build-aux/gendocs.sh (MANUAL_TITLE, PACKAGE, EMAIL) (commonarg, dirargs, dirs, infoarg, generate_ascii) (generate_html, generate_info, generate_tex, outdir) (source_extra, split, srcfile, texarg): Move above 'version'

bug#22651: [PATCH] gendocs.sh: Fix "dir" link in HTML output

2016-05-07 Thread Ludovic Courtès
Hello! This patch aims to fix “dir” links in HTML output, as discussed at . 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_