aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index 900ae1d..4911962 100644
--- a/makefile
+++ b/makefile
@@ -85,7 +85,7 @@ clean:
85 rm *.* 85 rm *.*
86 cp saved/* . 86 cp saved/* .
87 rm -rf saved/ 87 rm -rf saved/
88 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md 88 pandoc README.tex -o README.md && sed -i 's/{#.*}//g' README.md
89 pandoc -s README.tex -o about.html 89 pandoc README.tex -o about.html
90 90
91.PHONY: sty doc all local inst auctex zip package clean 91.PHONY: sty doc all local inst auctex zip package clean