From 1740210c5f11e2ead43dcbebe055c40f89d08304 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 2 Oct 1998 14:20:39 +0000
Subject: Removed erroneous mention of an elisp directory

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 3254236f..2e2ca7ce 100644
--- a/INSTALL
+++ b/INSTALL
@@ -7,7 +7,7 @@ Please let us know if you have any problems in trying to install it.
 Unpack this distribution in some <directory>.  Put this line in your
 .emacs file:
 
-    (load-file "<directory>/elisp/generic/proof-site.el")
+    (load-file "<directory>/generic/proof-site.el")
 
 This will set the Emacs load path and add auto-loads for the
 assistants below:
-- 
cgit v1.2.3