From a25ecb7b748ef68f2ba4499f0d7db1084fd26813 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Mon, 13 Oct 2014 13:47:41 +0100
Subject: [PATCH] New file, tweak-html

---
 doc/tweak-html |    6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 doc/tweak-html

diff --git a/doc/tweak-html b/doc/tweak-html
new file mode 100755
index 0000000..44d208b
--- /dev/null
+++ b/doc/tweak-html
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+# Tweak the HTML generated by pandoc into the form we want
+
+cat ${@+"$@"} |
+    sed '/^<col width="[0-9]*%" \/>$//d'
-- 
1.7.10.4