> Le 14 sept. 2018 à 12:57, Bruno Haible <[email protected]> a écrit :
>
>> Hmm, maybe conditionalize it based
>> on @ifinfo and @ifhtml?
>
> Indeed, this works:
>
>
> 2018-09-14 Bruno Haible <[email protected]>
>
> doc: Fix bottom of top-level page.
> Reported by Akim Demaille <[email protected]> in
> <http://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.
Great! Thanks!