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