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

Reply via email to