diff options
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 + + |