From a497cba70d1339b4a7c7cb78dd78dbb030830b0b Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Tue, 5 Apr 2016 10:00:48 +0200
Subject: makefile: remove header_attributes from README.md

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'makefile')

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
-- 
cgit v1.2.3