Re: [Gawk manual] Several empty list items in the HTML version

[arnold]

You're welcome.  

Thérèse Godefroy <godef.th@free.fr> wrote:

> Hello Arnold, Gavin, all,
>
> Le 05/10/2024 à 20:18, arnold@skeeve.com a écrit :
> > Looking more closely at the gawk.html file for gawk5 5.3.1, from
> > September 22, I don't see these blank lines. It may be that
> > you have an old version?
> > 
> > In any case, I have fixed the doc and pushed it to git.
> > 
> > Arnold
> > 
> > arnold@skeeve.com wrote:
> > 
> [...]
> Thank you for fixing these files so quickly!
>
> I also have gawk.html 5.3.1, generated with Texinfo 7.1.
>
> I tried to regenerate the same file with Texinfo 6.7 (from Debian 11),
> unsuccessfully because the iflatex and ifnotlatex commands were not
> supported.
>
> My browser is Firefox 115, but I got the same blank items with
> Chromium 129, Midori 7.0 and NetSurf 3.10.
>
> Best,
> Thérèse
>
> [1] https://www.gnu.org/s/gawk/manual/gawk.html