From 035b087912960fc4174a6fc197203e84f17d1451 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 21 Oct 1998 10:18:31 +0000 Subject: Fixed info directory setting so more robust and works for FSF GNU Emacs --- generic/proof-site.el | 21 ++++++++++++++------- 1 file changed, 14 insertions(+), 7 deletions(-) (limited to 'generic') 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 -- cgit v1.2.3