From 80218ff5ed71f3fd0328fb642b654aeaea128a64 Mon Sep 17 00:00:00 2001 From: Holden Rohrer Date: Sun, 22 Mar 2020 15:35:12 -0400 Subject: removed .log in make clean --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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 -- cgit