diff options
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 |