diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-17 14:41:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-17 14:41:47 +0000 |
| commit | d9e8665038985340f1eccd6311c870cb8afb17dc (patch) | |
| tree | 7ae6546924a843c75738eef26b8491aff5049267 /doc/Makefile | |
| parent | 2627544e9127d840e425ac354b0ca1209b880f10 (diff) | |
Added cvsclean target
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 70be201e..2799d5ac 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -74,6 +74,12 @@ distclean: clean rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME).pdf $(DOCNAME)*.html +## +## cvsclean: remove all non-cvs +## +cvsclean: distclean + + |