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

[Eli Zaretskii]

> From: Juri Linkov <juri@jurta.org>
> Cc: dmoncayo@gmail.com,  9891@debbugs.gnu.org
> Date: Wed, 02 Nov 2011 12:07:54 +0200
> 
> > Emacs cannot fix that.  You need to fix this by re-arranging and/or
> > editing your DIR files.
> 
> I don't want to edit installed DIR files, and on systems where you have
> no root privileges you can't edit them anyway.

In that case, you will have to ask your friendly sysadmin to do that.

> >> * _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?