aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index 27b11f1..2e5a12e 100644
--- a/makefile
+++ b/makefile
@@ -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