From: Mike Taylor <mike@indexdata.com>
Date: Mon, 13 Oct 2014 12:47:41 +0000 (+0100)
Subject: New file, tweak-html
X-Git-Tag: 1.0.0~252
X-Git-Url: http://git.indexdata.com/?a=commitdiff_plain;h=a25ecb7b748ef68f2ba4499f0d7db1084fd26813;p=mkws-moved-to-github.git

New file, 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'