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, 0 insertions, 50 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/makeover b/moon-abe/pbc-0.5.14/doc/makeover deleted file mode 100644 index 39b807c1..00000000 --- a/moon-abe/pbc-0.5.14/doc/makeover +++ /dev/null @@ -1,50 +0,0 @@ -#!/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 |