diff options
| author | Patrick Loiseleur | 1999-05-03 14:38:17 +0000 |
|---|---|---|
| committer | Patrick Loiseleur | 1999-05-03 14:38:17 +0000 |
| commit | ec5c2837767afcf0557a3cbd29b1b39b33676cc8 (patch) | |
| tree | ae29ae02e34b16cab6cfe89f74c6159fa1221d84 | |
| parent | 16aa546c3db30a7ba87de85139e961240db1ed3f (diff) | |
*** empty log message ***
| -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) |