tools: clean Makefiles

[nit.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index d89ffd0..c37eaa8 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,3 +3,10 @@ all:
        rubber --pdf --inplace nitreference/nitreference.tex
        rubber --pdf --inplace developpez/nit.tex
 
+clean:
+       rm nit_version.sty 2> /dev/null || true
+       rubber --clean --inplace nitreference/nitreference.tex
+       rubber --clean --inplace developpez/nit.tex
+
+distclean: clean
+       rm nitreference/nitreference.pdf developpez/nit.pdf 2> /dev/null || true