diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-12-14 10:06:15 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-12-14 10:06:15 +0100 |
| commit | 888dd248ee3e1f0d42a50a4d53052469adc791c3 (patch) | |
| tree | e855b47e0b79f0313d737fcce7144b95b2f7ebd1 /makefile | |
| parent | c487f5112a9f3c1c4c09b6d4542470a437fff167 (diff) | |
| download | courses-888dd248ee3e1f0d42a50a4d53052469adc791c3.tar.gz | |
generate about.html for cgit
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -22,5 +22,6 @@ clean: | |||
| 22 | cp -p -r .backup/* . | 22 | cp -p -r .backup/* . |
| 23 | rm -rf .backup | 23 | rm -rf .backup |
| 24 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md | 24 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md |
| 25 | pandoc -s README.tex -o about.html | ||
| 25 | 26 | ||
| 26 | .PHONY: all pdf clean | 27 | .PHONY: all pdf clean |