diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 17:54:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 17:54:02 +0000 |
| commit | e9a0e2e8ae29e9fb16a3ac562cb595b303effa7b (patch) | |
| tree | 40b5ddce6516e26dc2095e1aef42bdca5d7abac0 /generic | |
| parent | 3c1172df89651a9c95dcc02ea68f3868c4d480b5 (diff) | |
Patch from Stefan Monnier <monnier+gnu/emacs@rum.cs.yale.edu> for Info config.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 55462720..28135f1d 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -72,18 +72,18 @@ You can use customize to set this variable." :group 'proof-general-internals) ;; Add the info directory to the end of Emacs Info path if need be. -;; It's easier to do this after Info has loaded because of the -;; complicated way the Info-directory-list is set. - -(eval-after-load - "info" - '(or (member proof-info-directory Info-directory-list) - (progn - (setq Info-directory-list - (cons proof-info-directory - Info-directory-list)) - ;; Clear cache of info dir - (setq Info-dir-contents nil)))) +(if (and (boundp 'Info-directory-list) (consp Info-directory-list)) + ;; Info is already initialized. Update its variables. + ;; This probably never happens. -stef + (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-default-directory-list)) + (setq Info-default-directory-list + (cons proof-info-directory Info-default-directory-list)))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |