diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-09-06 01:49:41 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-06 01:49:41 +0200 |
commit | 1815c076e2168ea13390886b4fb1728bdf54fc5b (patch) | |
tree | 4c7e9c054e49f3d927cf8caf5efd6537b33380bd /makefile | |
parent | 678b57232a0d8c3aecb1d6e5c1483c75f94f84a6 (diff) | |
download | courses-1815c076e2168ea13390886b4fb1728bdf54fc5b.tar.gz |
makefile: keep only what is listed in files.txt
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 | ||