diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-09-30 10:54:08 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-30 10:54:08 +0200 |
commit | 88e41842af2edc8a3b9ad3ee074057efc3739b0f (patch) | |
tree | 1ddd049a6101948644de5d8287a2823e1ff9ebcb | |
parent | ff1c4218e97b739e2570a085f22265f62d6c84c3 (diff) | |
download | courses-88e41842af2edc8a3b9ad3ee074057efc3739b0f.tar.gz |
makefile: added phony targets
-rw-r--r-- | makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 | ||