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 154d2fd..515ba29 100644
--- a/makefile
+++ b/makefile
@@ -42,5 +42,5 @@ clean:
42 rm *.* 42 rm *.*
43 cp saved/* . 43 cp saved/* .
44 rm -rf saved/ 44 rm -rf saved/
45 pandoc README.tex -o README.md && sed -i 's/{#.*}//g' README.md 45 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md
46 pandoc README.tex -o about.html 46 pandoc -s README.tex -o about.html