From 0f315e11c5425f462ba8ff7b84cbefc77aa208d6 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 21 Oct 1998 16:21:21 +0000
Subject: modified local installation procedure

---
 etc/lego/lego-site.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el
index 9fabad6d..c503a9d6 100644
--- a/etc/lego/lego-site.el
+++ b/etc/lego/lego-site.el
@@ -14,7 +14,7 @@
 	 (setq load-path (cons "/usr/local/share/elisp/lego" load-path))
 	 (load "lego"))
 	((string= version "latest")
-	 (load-file "/usr/local/share/elisp/proofgeneral/generic/proof-site.el"))))
+	 (load-file "/usr/local/share/elisp/ProofGeneral/generic/proof-site.el"))))
 	 
 
 	 
\ No newline at end of file
-- 
cgit v1.2.3