From ec5c2837767afcf0557a3cbd29b1b39b33676cc8 Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Mon, 3 May 1999 14:38:17 +0000
Subject: *** empty log message ***

---
 generic/proof-site.el | 19 ++++++++++---------
 1 file 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)
-- 
cgit v1.2.3