diff options
author | 2015-11-23 17:48:48 +0100 | |
---|---|---|
committer | 2015-11-23 17:48:48 +0100 | |
commit | fca74d4bc3569506a6659880a89aa009dc11f552 (patch) | |
tree | 4cefd06af989608ea8ebd3bc6306889e2a1ad175 /moon-abe/pbc-0.5.14/doc/makeover | |
parent | 840ac3ebca7af381132bf7e93c1e4c0430d6b16a (diff) |
moon-abe cleanup
Change-Id: Ie1259856db03f0b9e80de3e967ec6bd1f03191b3
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 |