[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22651: [PATCH] gendocs.sh: Set default TOP_NODE_UP_URL in HTML outpu
|
From: |
Ludovic Courtès |
|
Subject: |
bug#22651: [PATCH] gendocs.sh: Set default TOP_NODE_UP_URL in HTML output. |
|
Date: |
Fri, 20 May 2016 09:49:17 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Ludovic Courtès <address@hidden> skribis:
> Suggested by Gavin Smith <address@hidden>.
> Reported by myglc2 <address@hidden> 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".
Pushed as 8d807a9.
Ludo’.