> From: [email protected]
> Date: Sun, 31 May 2026 18:45:51 -0400
> 
> Hi.
> 
> Please checkout the gawk git repository and then checkout commit
> c247d719316c2cc. Then:
> 
>       ./bootstrap.sh && ./configure && make -j && make pdf
> 
> Then look at page 500 in gawk.pdf, section A.9 Major Contributors to gawk.
> You will see that the bullted list has spaces between the bullets and the
> text.  It's because the input looks like this:
> 
>       @item
>       @cindex whatever 1
>       @cindex whatever 2
>       Actual text here
> 
> Moving the @item to after all the @cindex lines causes the spaces to
> disappear.
> 
> This occurs throughout the manual; page 500 is simply a good example.
> 
> I apologize for asking you to work directly with the gawk manual; I
> tried to make a small standalone file to reproduce this, but was
> unsuccessful.
> 
> There seems to be a similar problem with the DARKCORNER macro
> introducing extra space in the middle of lines, but that doesn't
> seem to be as consistent.
> 
> Neither of these things used to happen, although I am not sure
> I could tell you when it changed.
> 
> For the moment, I've written a script to move all @cindex lines
> to before @item lines, and will be committing that in just a moment,
> thus the request to check out a specific commit.

Regardless of the empty lines, index entries should always be before
the @item, because then the Info reader places the cursor on the @item
line, not after it.

Reply via email to