#!/bin/sh # Tweak the HTML generated by pandoc into the form we want cat ${@+"$@"} | sed '/^$/d' | sed 's//&\

/' | awk ' /^<(h[12]|div) id/ { if (seen) { print ""; } print "

"; seen = 1; } /^

"; } { print } '