diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -14,8 +14,8 @@ clean: | |||
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$$\|\.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 * |
19 | cp -p -r .backup/* . | 19 | cp -p -r .backup/* . |
20 | rm -rf .backup | 20 | rm -rf .backup |
21 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md | 21 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md |