diff options
| author |  Tom Willemse | 2013-05-27 22:40:28 +0200 |
|---|---|---|
| committer | Tom Willemse | 2013-05-27 22:40:37 +0200 |
| commit | e027f3c7e6db96535e2515d6e65389a5079e0a82 (patch) | |
| tree | 38fed19be886b73c664a6aa2079c3e2abbc01362 /doc | |
| parent | 7f6037855dbfb16e5c05c29fd1eaeba14c4dfabb (diff) | |
| download | gitto-e027f3c7e6db96535e2515d6e65389a5079e0a82.tar.gz gitto-e027f3c7e6db96535e2515d6e65389a5079e0a82.zip | |
Add clean make target
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0e3f42c..c49e71d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -4,7 +4,7 @@ TEXI2PDF = texi2pdf DVIPS = dvips .PHONY: all html dvi pdf ps install uninstall install-dvi install-pdf \ - install-ps + install-ps clean all: gitto.info @@ -51,3 +51,9 @@ gitto.pdf: gitto.texi gitto.ps: gitto.dvi $(DVIPS) gitto.dvi + +clean: + rm -f gitto.aux gitto.cp gitto.dvi gitto.fn gitto.fns gitto.info \ + gitto.ky gitto.log gitto.pdf gitto.pg gitto.ps gitto.toc \ + gitto.tp gitto.vr gitto.vrs + rm -rf html/ |