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
