aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-30 10:54:08 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-30 10:54:08 +0200
commit88e41842af2edc8a3b9ad3ee074057efc3739b0f (patch)
tree1ddd049a6101948644de5d8287a2823e1ff9ebcb
parentff1c4218e97b739e2570a085f22265f62d6c84c3 (diff)
downloadcourses-88e41842af2edc8a3b9ad3ee074057efc3739b0f.tar.gz
makefile: added phony targets
-rw-r--r--makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/makefile b/makefile
index eba7b62..83adabd 100644
--- a/makefile
+++ b/makefile
@@ -21,3 +21,5 @@ clean:
21 cp -p -r .backup/* . 21 cp -p -r .backup/* .
22 rm -rf .backup 22 rm -rf .backup
23 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md 23 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md
24
25.PHONY: all pdf clean