diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,6 +1,10 @@ | |||
1 | all: clean | 1 | all: clean |
2 | 2 | ||
3 | clean: | 3 | clean: |
4 | rm -rf .backup | ||
4 | find -iname "*~" | xargs rm -rf | 5 | find -iname "*~" | xargs rm -rf |
6 | rsync -avPr --files-from=files.txt . .backup | ||
7 | rm -rf * | ||
8 | cp -p -r .backup/* . | ||
9 | rm -rf .backup | ||
5 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md | 10 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md |
6 | pandoc -s README.tex -o README.html | ||