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