diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -12,9 +12,8 @@ pdf: clean | |||
12 | clean: | 12 | clean: |
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 |