From a5f9622898b3a296858ec78a5321fe12d9e76f38 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 30 Sep 2018 08:18:58 +0200
Subject: improved makefile

---
 makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/makefile b/makefile
index 435f88f..eba7b62 100644
--- a/makefile
+++ b/makefile
@@ -1,3 +1,6 @@
+exts := md png sh bib tex
+findopts := $(foreach ext,$(exts),-or -iname "*.$(ext)")
+
 all: pdf
 
 pdf: clean
@@ -12,7 +15,7 @@ pdf: clean
 clean:
 	rm -rf .backup
 	find -iname "*~" | xargs rm -rf
-	find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.sh$$\|\.bib$$\|\.tex$$' > ls-R
+	find ./* -type f -iname "makefile" $(findopts) > ls-R
 	rsync -avPr --files-from=ls-R . .backup
 	rm -rf *
 	cp -p -r .backup/* .
-- 
cgit v1.2.3