GNU bug report logs - #9891
24.0.90; Duplicated entry at the info directory

Previous Next

Package: emacs;

Reported by: Dani Moncayo <dmoncayo <at> gmail.com>

Date: Thu, 27 Oct 2011 19:18:02 UTC

Severity: minor

Found in version 24.0.90

Done: Lars Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log

Message #65 received at 9891 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> IRO.UMontreal.CA>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: Juri Linkov <juri <at> jurta.org>, 9891 <at> debbugs.gnu.org
Subject: Re: bug#9891: 24.0.90; Duplicated entry at the info directory
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"
This bug report was last modified 3 years and 104 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.