doc/tweak-html

   1 #!/bin/sh
   2
   3 # Tweak the HTML generated by pandoc into the form we want
   4
   5 cat ${@+"$@"} |
   6     sed '/^<col width="[0-9]*%" \/>$//d'