[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9891: 24.0.90; Duplicated entry at the info directory
From: |
Stefan Monnier |
Subject: |
bug#9891: 24.0.90; Duplicated entry at the info directory |
Date: |
Wed, 02 Nov 2011 08:41:58 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.90 (gnu/linux) |
>> >> * _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"
- bug#9891: 24.0.90; Duplicated entry at the info directory, Juri Linkov, 2011/11/01
- bug#9891: 24.0.90; Duplicated entry at the info directory, Eli Zaretskii, 2011/11/01
- bug#9891: 24.0.90; Duplicated entry at the info directory, Juri Linkov, 2011/11/01
- bug#9891: 24.0.90; Duplicated entry at the info directory, Eli Zaretskii, 2011/11/01
- bug#9891: 24.0.90; Duplicated entry at the info directory, Juri Linkov, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Eli Zaretskii, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory,
Stefan Monnier <=
- bug#9891: 24.0.90; Duplicated entry at the info directory, Eli Zaretskii, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Stefan Monnier, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Drew Adams, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Andreas Schwab, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Eli Zaretskii, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Stefan Monnier, 2011/11/02
- bug#9891: 24.0.90; Duplicated entry at the info directory, Eli Zaretskii, 2011/11/05