From 51e7725ae2dd5314541e396ed11615bd0a854cef Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Mon, 13 Oct 2014 14:50:29 +0100 Subject: [PATCH] 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
--- doc/tweak-html | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) 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 } +' -- 1.7.10.4