summaryrefslogtreecommitdiffstats
path: root/moon-abe/pbc-0.5.14/doc/makeover
diff options
context:
space:
mode:
authorRuan HE <ruan.he@orange.com>2015-09-04 07:35:06 +0000
committerGerrit Code Review <gerrit@172.30.200.206>2015-09-04 07:35:06 +0000
commitca6aa8198d2335f8c326c3dd4d26bf5899064214 (patch)
tree6274a2d971fc0cac0896efe8583927d0190e3d20 /moon-abe/pbc-0.5.14/doc/makeover
parent92fd2dbfb672d7b2b1cdfd5dd5cf89f7716b3e12 (diff)
parent3baeb11a8fbcfcdbc31976d421f17b85503b3ecd (diff)
Merge "init attribute-based encryption"
Diffstat (limited to 'moon-abe/pbc-0.5.14/doc/makeover')
-rw-r--r--moon-abe/pbc-0.5.14/doc/makeover50
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