Hello Arnold, Gavin, all,
Le 05/10/2024 à 20:18, [email protected] 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
[email protected] 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
