aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-06 01:49:41 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-06 01:49:41 +0200
commit1815c076e2168ea13390886b4fb1728bdf54fc5b (patch)
tree4c7e9c054e49f3d927cf8caf5efd6537b33380bd /makefile
parent678b57232a0d8c3aecb1d6e5c1483c75f94f84a6 (diff)
downloadcourses-1815c076e2168ea13390886b4fb1728bdf54fc5b.tar.gz
makefile: keep only what is listed in files.txt
Diffstat (limited to 'makefile')
-rw-r--r--makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/makefile b/makefile
index 8bf9b28..6019fe2 100644
--- a/makefile
+++ b/makefile
@@ -1,6 +1,10 @@
1all: clean 1all: clean
2 2
3clean: 3clean:
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