From 7554c20af323a7d07d6ca77b1642d9f75ba058b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Oct 1998 10:15:01 +0000
Subject: Added dcsinstall target.

---
 Makefile.devel | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/Makefile.devel b/Makefile.devel
index c0fe9717..a54421a9 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -143,6 +143,9 @@ alldocs: FORCE
 images:	FORCE
 	(cd images; $(MAKE) images)
 
+
+
+
 ############################################################
 ##
 ## tag:    tag the CVS sources of working directory with RELEASE_TAG,
@@ -294,3 +297,16 @@ releaseclean:
 ##     Do everything!
 ##	  
 releaseall: release rpmrelease releaseclean
+
+
+############################################################
+#
+# dcsinstall:
+#   Install distribution from $(RELEASEDIR) 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))
-- 
cgit v1.2.3