aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/makefile b/makefile
index 45cf91c..4a786b5 100644
--- a/makefile
+++ b/makefile
@@ -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