From 717bea5d54a2462fa35f3e136c47f290f8585d92 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Mon, 13 Oct 2014 13:47:55 +0100
Subject: [PATCH] Generate HTML using pandoc|tweak-html.

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

diff --git a/doc/Makefile b/doc/Makefile
index e60a132..fab9098 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -27,7 +27,7 @@ all: $(DOCS)
 #
 %.html: %.markdown
 	rm -f $@
-	pandoc --standalone --toc -c mkws-doc.css $< | sed '/^<col width="[0-9]*%" \/>$//d' > $@
+	pandoc --standalone --toc -c mkws-doc.css $< | ./tweak-html > $@
 	chmod ugo-w $@
 
 %.odt: %.markdown
-- 
1.7.10.4