Re: Weirndess with texinfo.tex version 2026-04-19.19

Eli Zaretskii <[email protected]> wrote:

> 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.

Undoubtedly true, but misplacing the lines doesn't exempt texinfo.tex
from doing the right thing. :-)

In the meantime I ran a script over the file and fixed up all the
entries.

Arnold