Re: "/usr/share/info" twice in `Info-default-directory-list'

[Andreas Schwab]

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."