diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-06 14:18:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-06 14:18:55 +0000 |
| commit | 1f3c6ec9eed73781ecee93e50526317ae411fdbb (patch) | |
| tree | 87aa594e3811bf37766aa939c54930cfc6ae92ff /Makefile.devel | |
| parent | 2598fbd7227efb7038af5d54adead2ce784a530c (diff) | |
Make distclean rather than clean do the CVS pruning.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 7 |
1 files 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) |