diff options
-rw-r--r-- | makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -64,3 +64,5 @@ clean: | |||
64 | rm -rf saved/ | 64 | rm -rf saved/ |
65 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md | 65 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md |
66 | pandoc -s README.tex -o about.html | 66 | pandoc -s README.tex -o about.html |
67 | |||
68 | .PHONY: sty doc all local auctex package clean | ||