diff options
| -rw-r--r-- | generic/proof-site.el | 9 |
1 files changed, 6 insertions, 3 deletions
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))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |