summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3f466ac..1e93f1c 100644
--- a/Makefile
+++ b/Makefile
@@ -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