diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-21 10:18:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-21 10:18:31 +0000 |
| commit | 035b087912960fc4174a6fc197203e84f17d1451 (patch) | |
| tree | bd2a945e48b8846ad2ea090e8fc67b0baddc4a57 /generic | |
| parent | 119b804454c73a44be3d77739edb6a1d863d1da1 (diff) | |
Fixed info directory setting so more robust and works for FSF GNU Emacs
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 97b4dc7e..dfa2c563 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -88,13 +88,20 @@ You can use customize to set this variable." :type 'directory :group 'proof-internal) -;; Add the info directory to the end of Emacs Info path -;; if need be. -(or (member proof-internal-info-directory Info-default-directory-list) - (setq Info-default-directory-list - (append - Info-default-directory-list - (list proof-internal-info-directory)))) +;; 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-internal-info-directory Info-directory-list) + (progn + (setq Info-directory-list + (cons proof-internal-info-directory + Info-directory-list)) + ;; Clear cache of info dir + (setq Info-dir-contents nil)))) + ;; Might be nicer to have a boolean for each supported assistant. (defcustom proof-assistants |