diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,5 +6,5 @@ execsumm/document.pdf: execsumm/document.tex format.tex .tex.pdf: cd $$(dirname $@) && pdftex document.tex clean: - find . -name "*.pdf" | xargs rm -f + find -E . -regex ".*\.(pdf|log)" | xargs rm -f .PHONY: all clean |