diff --git a/doc/Makefile b/doc/Makefile index c64ad654..41c41ab1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,2 +1,7 @@ all: ./gendoc.py + +clean: + $(RM) main.pdf + $(RM) plugins_generated.tex + $(RM) *.aux main.bbl main.blg main.log main.out main.toc