bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: (Slightly) broken html doc


From: Akim Demaille
Subject: Re: (Slightly) broken html doc
Date: Sat, 15 Sep 2018 07:44:31 +0200


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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]