From b8a3a35413c67ddbf5851315629cc28e54a7daf1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 15:44:49 +0000
Subject: Fine tuning.

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

diff --git a/Makefile.devel b/Makefile.devel
index 3b56dc1b..5f1e8370 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -86,7 +86,7 @@ clean:
 #
 # Clean up all generated files.
 #
-`distclean:	clean
+distclean:	clean
 	rm -rf $(FILES_NONCVS)
 	(cd doc; $(MAKE) distclean)
 
@@ -173,7 +173,7 @@ dist:
 ##     Moreover, a link ProofGeneral -> ProofGeneral-<version>
 ##     is made.
 ##	  
-release: tag dist
+release: distclean tag dist
 	$(REMOTE) mkdir -p $(RELEASEDIR)
 	$(REMOTE) cp -pfr $(DISTBUILDIR)/* $(RELEASEDIR)
 	$(REMOTE) (cd $(RELEASEDIR); ln -sf $(RELEASENAME) $(NAME))
-- 
cgit v1.2.3