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.
I apologize again for the vague bug report.
Much thanks,
Arnold
