doc: Fix bottom of top-level page.
commit91590f875abbad089da32bc02f02cd8c4ee308e1
authorBruno Haible <bruno@clisp.org>
Fri, 14 Sep 2018 10:52:53 +0000 (14 12:52 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 14 Sep 2018 10:53:49 +0000 (14 12:53 +0200)
tree45157aa20dcec20fc14572f4a8c7b4d92cd276b1
parentcf693d510fe2ced82266470e408ca132c87d23be
doc: Fix bottom of top-level page.

Reported by Akim Demaille <akim.demaille@gmail.com> in
<https://lists.gnu.org/archive/html/bug-gnulib/2018-09/msg00072.html>.

* doc/pastposix-functions/index.texi: Rename node to '_index' in HTML
mode.
* doc/gnulib.texi (Legacy Function Substitutes): Update menu
accordingly.
ChangeLog
doc/gnulib.texi
doc/pastposix-functions/index.texi