diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-09-06 12:39:27 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-06 12:39:27 +0200 |
commit | 2fa69381b8332949cbd5eaedd1203ae89d0f5962 (patch) | |
tree | e4c4482ebefacb34e4567512314587a6bb2d3e03 /makefile | |
parent | bab946cbb2b75b1a413c4b12005d1d60123d8eff (diff) | |
download | courses-2fa69381b8332949cbd5eaedd1203ae89d0f5962.tar.gz |
improved makefile
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -3,7 +3,9 @@ all: clean | |||
3 | clean: | 3 | clean: |
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 |