1 files changed, 17 insertions, 0 deletions

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
+
+
+
+
+