From 461b120465a0bc658a5b90a7abef5ce53e746ea0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Mar 2003 20:38:28 +0000
Subject: Add distcompile target

---
 Makefile.devel | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index 0e9ad873..77793bab 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -214,7 +214,7 @@ FORCE:
 # Targets to pre-compile for distribution
 # Slightly dodgy to include elisp compile here, because
 # it can be incompatible across emacs versions.
-alldist:	distdocs
+alldist:	distcompile distdocs 
 
 
 ############################################################
@@ -293,6 +293,16 @@ distdocs: FORCE
 	@echo "***** MAKING DISTRIBUTION DOCS  ****"
 	(cd doc; ln -s ../html/ProofGeneralPortrait.eps.gz .; $(MAKE) dist)
 
+############################################################
+#
+# Compilation
+#
+distcompile: FORCE
+	@echo "***** MAKING ELC FILES  ****"
+	$(MAKE) compile
+
+
+
 ############################################################
 #
 # Images
-- 
cgit v1.2.3