1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 75d07b6..154d2fd 100644
--- a/makefile
+++ b/makefile
@@ -42,5 +42,5 @@ clean:
        rm *.*
        cp saved/* .
        rm -rf saved/
-        pandoc README.tex -o README.md
+        pandoc README.tex -o README.md && sed -i 's/{#.*}//g' README.md
        pandoc README.tex -o about.html

diff --git a/makefile b/makefile index 75d07b6..154d2fd 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	45	pandoc README.tex -o README.md && sed -i 's/{#.*}//g' README.md
46	pandoc README.tex -o about.html	46	pandoc README.tex -o about.html