From 28ec25e93a1c15f7e0caec83285d800435750459 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Mar 2003 12:24:09 +0000 Subject: Use Info-default-directory-list for GNU Emacs still --- generic/proof-site.el | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'generic') diff --git a/generic/proof-site.el b/generic/proof-site.el index fb954a9e..6af7ec9d 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -77,15 +77,18 @@ You can use customize to set this variable." (if (and (boundp 'Info-directory-list) (consp Info-directory-list)) ;; Info is already initialized. Update its variables. ;; This probably never happens. -stef + ;; da: actually it does in XEmacs. (if (not (member proof-info-directory Info-directory-list)) (progn (setq Info-directory-list (cons proof-info-directory Info-directory-list)) (setq Info-dir-contents nil))) ;; Info is not yet initialized. Change its default. - (if (not (member proof-info-directory Info-directory-list)) - (setq Info-directory-list - (cons proof-info-directory Info-directory-list))))) + ;; da: NB: Emacs 21.2.1 still uses Info-default-directory-list + ;; although XEmacs complains about it being obsolete here. + (if (not (member proof-info-directory Info-default-directory-list)) + (setq Info-default-directory-list + (cons proof-info-directory Info-default-directory-list))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; -- cgit v1.2.3