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