From: Mike Taylor Date: Mon, 13 Oct 2014 13:50:29 +0000 (+0100) Subject: tweak-html now generates HTML in according with the style of ../tools/htdocs/index... X-Git-Tag: 1.0.0~250 X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=commitdiff_plain;h=51e7725ae2dd5314541e396ed11615bd0a854cef tweak-html now generates HTML in according with the style of ../tools/htdocs/index.html * Remove extraneous trailing slash from sed rule. * Insert big MKWS logo at top right. * Add awk script to wrap headed sections in
--- diff --git a/doc/tweak-html b/doc/tweak-html index 44d208b..d237ed1 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//&\ +MKWS logo/' | awk ' +/^"; + } + print "
"; + seen = 1; +} +/^
"; +} +{ print } +'