From f4f700e2deed3bbe6ab07a172d3659138e155fbc Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Thu, 27 Sep 2018 11:44:38 +0200
Subject: made scripts available in a separate directory

---
 makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 7ec9fe0..435f88f 100644
--- a/makefile
+++ b/makefile
@@ -12,9 +12,8 @@ pdf: clean
 clean:
 	rm -rf .backup
 	find -iname "*~" | xargs rm -rf
-	find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.bib$$\|\.tex$$' > ls-R
+	find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.sh$$\|\.bib$$\|\.tex$$' > ls-R
 	rsync -avPr --files-from=ls-R . .backup
-#	cp ls-R .backup
 	rm -rf *
 	cp -p -r .backup/* .
 	rm -rf .backup
-- 
cgit v1.2.3