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

---
 Makefile.devel        | 8 +++++---
 etc/lego/lego-site.el | 2 +-
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index e76f5452..27b1e42e 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -90,7 +90,7 @@ FILES_NONCVS = ChangeLog
 # Where to install a distribution 
 # DISTINSTALLDIR=/usr/local/share/elisp/proofgeneral
 # value for dcs.ed.ac.uk:
-DISTINSTALLDIR=/export/local/share/elisp/proofgeneral
+DISTINSTALLDIR=/export/local/share/elisp
 
 
 FORCE:
@@ -321,6 +321,8 @@ releaseall: release rpmrelease releaseclean
 #   special places.
 #
 distinstall:
-	rm -rf $(DISTINSTALLDIR)
+	rm -rf $(DISTINSTALLDIR)/$(NAME)
 	mkdir -p $(DISTINSTALLDIR)
-	(cd $(DISTINSTALLDIR); $(TAR) -xpzf $(DISTBUILDIR)/$(RELEASENAMETARGZ))
+	(cd $(DISTINSTALLDIR); \
+	 $(TAR) -xpzf $(DISTBUILDIR)/$(RELEASENAMETARGZ) \
+	 mv $(RELEASENAME) $(NAME))
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