aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-06 12:39:27 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-06 12:39:27 +0200
commit2fa69381b8332949cbd5eaedd1203ae89d0f5962 (patch)
treee4c4482ebefacb34e4567512314587a6bb2d3e03 /makefile
parentbab946cbb2b75b1a413c4b12005d1d60123d8eff (diff)
downloadcourses-2fa69381b8332949cbd5eaedd1203ae89d0f5962.tar.gz
improved makefile
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/makefile b/makefile
index 6019fe2..0844d8f 100644
--- a/makefile
+++ b/makefile
@@ -3,7 +3,9 @@ all: clean
3clean: 3clean:
4 rm -rf .backup 4 rm -rf .backup
5 find -iname "*~" | xargs rm -rf 5 find -iname "*~" | xargs rm -rf
6 rsync -avPr --files-from=files.txt . .backup 6 find ./* -type f | grep 'makefile\|md$$\|tex$$' > ls-R
7 rsync -avPr --files-from=ls-R . .backup
8 cp ls-R .backup
7 rm -rf * 9 rm -rf *
8 cp -p -r .backup/* . 10 cp -p -r .backup/* .
9 rm -rf .backup 11 rm -rf .backup