diff options
| -rw-r--r-- | generic/proof-site.el | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index e8d512f8..856d5977 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -59,19 +59,20 @@ variable proof-home-directory." :group 'proof-general-internals) + + ;; Directories + (defun proof-home-directory-fn () "Used to set proof-home-directory" (let ((s (getenv "PROOFGENERAL_HOME"))) - (cond - (s (if (string-match "/$" s) - s - (concat s "/"))) - (let ((curdir - (or - (and load-in-progress (file-name-directory load-file-name)) - (file-name-directory (buffer-file-name))))) - (file-name-directory (substring curdir 0 -1)))))) + (if s + (if (string-match "/$" s) s (concat s "/")) + (let ((curdir + (or + (and load-in-progress (file-name-directory load-file-name)) + (file-name-directory (buffer-file-name))))) + (file-name-directory (substring curdir 0 -1)))))) (defcustom proof-home-directory (proof-home-directory-fn) |