Try 'info' from Texinfo 4.13, and you will see the same case changes.

I see.  I never ran into that.  I was just comparing against 5.1 info.

    The bug in 5.0 inadvertently removed this feature.

It's not a feature, it's a bug.  The program should report the text of
the actual index entry that was matched, not some randomly-capitalized
version thereof.

Since Sergey replied, happily leaving all to him :).

k

Reply via email to