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://sru.miketaylor.org.uk/?a=commitdiff_plain;ds=sidebyside;h=a25ecb7b748ef68f2ba4499f0d7db1084fd26813;hp=f78b09b3fb202a47c04600da8196383a5ea669ea;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'