From 94ac46bdf258163208650f9d41a7077cacea0c4d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Oct 1998 10:17:16 +0000
Subject: dcsinstall copies from DISTBUILDIR instead for local only release

---
 Makefile.devel | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index a54421a9..563c6cad 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -302,11 +302,11 @@ releaseall: release rpmrelease releaseclean
 ############################################################
 #
 # dcsinstall:
-#   Install distribution from $(RELEASEDIR) at dcs.ed
+#   Install distribution from $(DISTBUILDIR) at dcs.ed
 #   Clean out DCSEXPORTDIR first.
 #
 DCSEXPORTDIR=/export/local/shar/elisp/proofgeneral
 dcsinstall:
 	rm -rf $(DCSEXPORTDIR)
 	mkdir -p $(DCSEXPORTDIR)
-	(cd $(DCSEXPORTDIR); tar -xpzf $(RELEASEDIR)$(RELEASENAMETARGZ))
+	(cd $(DCSEXPORTDIR); tar -xpzf $(DISTBUILDIR)/$(RELEASENAMETARGZ))
-- 
cgit v1.2.3