X-Git-Url: http://sru.miketaylor.org.uk/?a=blobdiff_plain;f=doc%2Ftweak-html;h=b12cdecbacb19fb7ed01b6f1c908d20f6647e29f;hb=7d7a5862b72296ef76b6f4f5cfb7b0e89147b6a3;hp=44d208b75087c08469e15e2a09a4ae224cd8605b;hpb=a25ecb7b748ef68f2ba4499f0d7db1084fd26813;p=mkws-moved-to-github.git
diff --git a/doc/tweak-html b/doc/tweak-html
index 44d208b..b12cdec 100755
--- a/doc/tweak-html
+++ b/doc/tweak-html
@@ -3,4 +3,18 @@
# Tweak the HTML generated by pandoc into the form we want
cat ${@+"$@"} |
- sed '/^$//d'
+ sed '/^$/d' |
+ sed 's//&\
+
/' | awk '
+/^<(h[12]|div) id/ {
+ if (seen) {
+ print "";
+ }
+ print "";
+ seen = 1;
+}
+/^
";
+}
+{ print }
+'