This should be fixed. Great.
As a side note, index entries before @item are used in the
texinfo manual itself...
Yes, and I don't plan to change it :).
As I said, it has pretty much always been the recommended convention.
Thanks,
k
This should be fixed. Great.
As a side note, index entries before @item are used in the
texinfo manual itself...
Yes, and I don't plan to change it :).
As I said, it has pretty much always been the recommended convention.
Thanks,
k