]> Savannah Git Hosting - gnulib.git/commit
gendocs.sh: Set default TOP_NODE_UP_URL in HTML output.
authorLudovic Courtès <ludo@gnu.org>
Sat, 7 May 2016 17:15:26 +0000 (19:15 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 20 May 2016 07:47:05 +0000 (09:47 +0200)
commit8d807a99c6e8eecd2a9cf7c7b5d48ec0b2c934f8
treeb2e36e737a08117fe2aa1388ee635fa0384f7385
parent6f9206d4db914cf904cd4711e3044d99c36dae8b
gendocs.sh: Set default TOP_NODE_UP_URL in HTML output.

Suggested by Gavin Smith <gavinsmith0123@gmail.com>.
Reported by myglc2 <myglc2@gmail.com> in <http://bugs.gnu.org/22651>.

* 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'.
(htmlarg): Likewise, and add "-c TOP_NODE_UP_URL=/manual".
ChangeLog
build-aux/gendocs.sh