Sat Dec 12 03:22:57 1992 Jim Blandy (jimb@totoro.cs.oberlin.edu)

* paths.el (Info-default-directory-list): The info files are
	supposed to be in /usr/local/info these days.  Add it to the list
	of directories to search.
This commit is contained in:
Jim Blandy 1992-12-12 15:22:04 +00:00
parent 5dbfdacd20
commit 898221e332

View file

@ -32,7 +32,8 @@
;;; Code:
(defvar Info-default-directory-list
(list "/usr/local/lib/info/"
(list "/usr/local/info/"
"/usr/local/lib/info/"
(expand-file-name "../info/" data-directory))
"List of directories to search for Info documentation files.")