diff options
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 |