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(-)
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