diff options
Diffstat (limited to 'moon-abe/pbc-0.5.14/doc/makeover')
| -rw-r--r-- | moon-abe/pbc-0.5.14/doc/makeover | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/makeover b/moon-abe/pbc-0.5.14/doc/makeover new file mode 100644 index 00000000..39b807c1 --- /dev/null +++ b/moon-abe/pbc-0.5.14/doc/makeover @@ -0,0 +1,50 @@ +#!/bin/bash +gawk ' +/<div class="toc">/ { + print $0 + getline #TODO: check this is the <ul> line + print $0 + print "<li><a href=\".\">PBC Library Manual</a></li>" + getline + while (!match($0, "</div>")) { + print $0 + getline + } + print "</div>" + exit +} +' < manual/index.html > toc.tmp +for a in manual/*.html +do + if [ $a != "manual/index.html" ] + then +#add " - PBC" to titles of all pages + sed '/<\/title>/ s/<\/title>/ - PBC&/' -i $a + sed '/<body/{n; r toc.tmp +a <div class="content"> +} ' -i $a + sed '/^<\/body/i </div>' -i $a + fi +done + +gawk ' +/<div class="book"/ { + i = 0 + for(;;) { + getline + if (match($0, "<div")) i++; + else if (match($0, "</div")) { + i--; + if (i < 0) break; + } + } + sub("</div>","") +} +{ print } +' < manual/index.html | sed '/<body/{n; r toc.tmp +a <div class="content"> +r index.html +a </div> +} ' > tmp.tmp +mv tmp.tmp manual/index.html +rm toc.tmp |