comparison make-dist @ 24513:2db3b19a94bb

(Info-directory-list): Revert change to re-writing Info-default-directory-list, but put `alternative' first. (Info-insert-dir): Modify selecting the top dir file as a consequence.
author Dave Love <fx@gnu.org>
date Wed, 24 Mar 1999 14:25:58 +0000
parents 93502884159a
children 58e77af0527b
comparison
equal deleted inserted replaced
24512:ca92d7df3b48 24513:2db3b19a94bb