[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "/usr/share/info" twice in `Info-default-directory-list'
From: |
Andreas Schwab |
Subject: |
Re: "/usr/share/info" twice in `Info-default-directory-list' |
Date: |
Fri, 30 Dec 2011 23:37:58 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.92 (gnu/linux) |
Rene <address@hidden> writes:
> I just notice that "/usr/share/info" appears twice in
> `Info-default-directory-list' (as well as in `Info-directory-list').
>
> I can't figure out why.
The second occurrence is configure-info-directory which is always added
even if already present.
commit e3fdde0678e2b9f5c6830142370029fa5455707f
Author: Miles Bader <address@hidden>
Date: Fri Dec 15 03:53:13 2000 +0000
(Info-default-directory-list): Don't delete configure-info-directory
from the list of standard info directories when appending it to the
end -- their order is important.
Andreas.
--
Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."