aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-27 11:44:38 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-27 11:44:38 +0200
commitf4f700e2deed3bbe6ab07a172d3659138e155fbc (patch)
tree6e72cde8a451d8550804bc9fbe81300ae0f7ce2d /makefile
parenta67cdf7e5a77d115192b358b707460cc85e64762 (diff)
downloadcourses-f4f700e2deed3bbe6ab07a172d3659138e155fbc.tar.gz
made scripts available in a separate directory
Diffstat (limited to 'makefile')
-rw-r--r--makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/makefile b/makefile
index 7ec9fe0..435f88f 100644
--- a/makefile
+++ b/makefile
@@ -12,9 +12,8 @@ pdf: clean
12clean: 12clean:
13 rm -rf .backup 13 rm -rf .backup
14 find -iname "*~" | xargs rm -rf 14 find -iname "*~" | xargs rm -rf
15 find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.bib$$\|\.tex$$' > ls-R 15 find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.sh$$\|\.bib$$\|\.tex$$' > ls-R
16 rsync -avPr --files-from=ls-R . .backup 16 rsync -avPr --files-from=ls-R . .backup
17# cp ls-R .backup
18 rm -rf * 17 rm -rf *
19 cp -p -r .backup/* . 18 cp -p -r .backup/* .
20 rm -rf .backup 19 rm -rf .backup