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 /makefile | |
| parent | ff1c4218e97b739e2570a085f22265f62d6c84c3 (diff) | |
| download | courses-88e41842af2edc8a3b9ad3ee074057efc3739b0f.tar.gz | |
makefile: added phony targets
Diffstat (limited to 'makefile')
| -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 | ||