From 6fa68bc76e88ef77a13073e25cf5fc9541d80363 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:35:38 +0000
Subject: Added devel targets for convenience

---
 Makefile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/Makefile b/Makefile
index 6f6a1381..3e13d035 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,9 @@
 ##
 ##  make compile
 ##
+## $Id$
+## 
+###########################################################################
 
 
 ELISP_DIRS = generic lego coq isa
@@ -53,3 +56,17 @@ clean:
 	rm -f $(ELC)	
 
 
+##
+## Targets defined in developer's makefile Makefile.devel, 
+## linked here for convenience.
+##
+
+release:	
+	make -f Makefile.devel releaseall
+distinstall:
+	make -f Makefile.devel distinstall
+
+
+
+
+
-- 
cgit v1.2.3