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

[Eli Zaretskii]

> From: Stefan Monnier <monnier@IRO.UMontreal.CA>
> Cc: Juri Linkov <juri@jurta.org>, 9891@debbugs.gnu.org
> Date: Wed, 02 Nov 2011 08:41:58 -0400
> 
> 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?

That it is removed.

> And why is the other behavior better?

Because these are 2 different glibc functions.

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

Evidently, this is not always true.  Leaving redundant information is
a lesser evil than removing non-redundant one, IMO.