From 9a67c4796f10192af5943cdc4e81cac250d956af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Sep 2000 17:46:17 +0000
Subject: Make ordinary dist before develdist, because dist clears build dir...
 whoops.

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

diff --git a/Makefile.devel b/Makefile.devel
index a2e00b57..33615873 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -161,7 +161,7 @@ FILES_NONCVS = TAGS
 DISTINSTALLDIR=/export/local/share/elisp
 
 # Copied from distributed Makefile
-ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98
+ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 af2 twelf
 SUBDIRS=$(ELISP_DIRS) etc doc html images
 
 PWD=$(shell pwd)
@@ -394,7 +394,7 @@ develdist:
 ##     Moreover, a link ProofGeneral -> ProofGeneral-<version>
 ##     is made.
 ##
-release: distclean tag  develdist dist 
+release: distclean tag  dist develdist 
 	mkdir -p $(RELEASEDIR)
 	cp -pfr $(DISTBUILDIR)/* $(RELEASEDIR)
 	(cd $(RELEASEDIR); rm -f $(NAME); ln -s $(RELEASENAME) $(NAME))
-- 
cgit v1.2.3