From 1f3c6ec9eed73781ecee93e50526317ae411fdbb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 6 Jun 2000 14:18:55 +0000
Subject: Make distclean rather than clean do the CVS pruning.

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

diff --git a/Makefile.devel b/Makefile.devel
index a03cbc4c..a2e00b57 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -209,10 +209,9 @@ ChangeLog:	FORCE
 
 ############################################################
 #
-# Clean up intermediate files and Emacs backup files
+# Clean up intermediate files 
 #
 clean:	
-	find . \( -name '*~' -o -name '#*#' -o -name '\.#.*' \) -print | xargs rm -f
 	(cd doc; $(MAKE) clean)
 	(cd images; $(MAKE) clean)
 	rm -f doc/ProofGeneralPortrait.eps.gz
@@ -222,9 +221,11 @@ clean:
 
 ############################################################
 #
-# Clean up all generated files.
+# Clean up intermediate files, all generated files 
+#  and Emacs backups, CVS temps
 #
 distclean:	clean
+	find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' \) -print | xargs rm -f
 	(cd doc; $(MAKE) distclean)
 	(cd images; $(MAKE) distclean)
 
-- 
cgit v1.2.3