From 722f150e05ae402a1195fa2c12b8206a433b0771 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Nov 1998 13:51:26 +0000
Subject: Removed duplicate distclean target

---
 Makefile.devel | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index a1e3317d..1bf2bfcf 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -327,12 +327,9 @@ rpmrelease: rpm
 
 ############################################################
 ##
-## distclean,releaseclean:
-##     Cleanup after building dist/release.
+## releaseclean:
+##     Clean up temporary directories after building dist/release.
 ##
-distclean:
-	rm -rf $(DISTBUILDIR)
-
 releaseclean:
 	rm -rf $(DISTBUILDIR) $(RPMTOPDIR)
 
@@ -348,7 +345,7 @@ releaseall: release rpmrelease distinstall releaseclean
 ## distinstall:
 ##     Do everything for a local release.
 ##	  
-distall: distclean tag dist distinstall distclean
+distall: distclean tag dist distinstall releaseclean
 
 
 
-- 
cgit v1.2.3