diff AUTHORS @ 34573:6620d0fff158

(Info-default-directory-list): If configure-info-directory is not one of the standard directories, put it first in the list; otherwise put it last. Doc string changed accordingly.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 14 Dec 2000 17:12:39 +0000
parents 5adb6d0b1cee
children d1b830bb399c
line wrap: on
line diff