From 8bf17991772771d7ae007d18bb4075f197b86585 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Wed, 2 Oct 2013 16:51:24 +0100
Subject: [PATCH] Add Makefile rule to strip stupid column-width directives
 out of pandoc output.

---
 tools/htdocs/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile
index 55963a2..ef73fd9 100644
--- a/tools/htdocs/Makefile
+++ b/tools/htdocs/Makefile
@@ -64,7 +64,7 @@ help:
 
 %.html: %.markdown
 	rm -f $@
-	pandoc --standalone --toc -c mkws-doc.css $< -o $@
+	pandoc --standalone --toc -c mkws-doc.css $< | sed '/^<col width="[0-9]*%" \/>$//d' > $@
 	chmod ugo-w $@
 
 %.odt: %.markdown
-- 
1.7.10.4