diff options
Diffstat (limited to 'generic/proof-site.el')
-rw-r--r-- | generic/proof-site.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index d2205a2f..6001771d 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -83,9 +83,9 @@ You can use customize to set this variable." (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))))) + (if (not (member proof-info-directory Info-directory-list)) + (setq Info-directory-list + (cons proof-info-directory Info-directory-list))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |