diff --git a/documentation/Makefile b/documentation/Makefile index 12cfdf4..ced4c31 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -23,5 +23,5 @@ all: $(ALL) .PHONY: clean: - rm -f *.pdf *.html *.tex + rm -f *.pdf *.html *.tex *.aux *.log *.out *.toc