Subject: bug#9891: 24.0.90; Duplicated entry at the info directory

From: Stefan Monnier <[email-masked]>
Date: Wed, 02 Nov 2011 08:41:58 -0400

>> >> * _exit: (libc)Termination Internals.
>> >> * _Exit: (libc)Termination Internals.
>> > Case sensitivity?  Anyway, if the code in Info-dir-remove-duplicates
>> > is imperfect, we should improve it.
>> Yes, it seems this case insensitivity is intentional
>> in `Info-dir-remove-duplicates'.
> I don't see why this is TRT.  In this case, the case insensitivity is
> clearly doing The Wrong Thing.  Stefan?

I'm not sure what is being discussed.  Is it that the two above lines
are kept, or that one of the two is removed as a duplicate?

And why is the other behavior better?

        Stefan "To my layman's eyes, the two lines are equivalent, just
                like "* GDB: (gdb)" and "* Gdb: (gdb)" and should be
                collapsed into one"