diff options
| author | David Aspinall | 2003-03-07 12:24:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-07 12:24:09 +0000 |
| commit | 28ec25e93a1c15f7e0caec83285d800435750459 (patch) | |
| tree | dd063d3d9cb00a29aa6812d39fec327f005b5fce | |
| parent | 66a8a3e9fb62c7affbe6a38d8e3ea257c6febe18 (diff) | |
Use Info-default-directory-list for GNU Emacs still
| -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))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |