X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=blobdiff_plain;f=doc%2Ftweak-html;h=b12cdecbacb19fb7ed01b6f1c908d20f6647e29f;hp=44d208b75087c08469e15e2a09a4ae224cd8605b;hb=6867e9bed4f7cf9c211e5efeaa0b6f116a35c688;hpb=a25ecb7b748ef68f2ba4499f0d7db1084fd26813
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 }
+'