diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,7 +12,7 @@ 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$$\|\.tex$$' > ls-R | 15 | find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.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 | 17 | # cp ls-R .backup |
18 | rm -rf * | 18 | rm -rf * |