From fca74d4bc3569506a6659880a89aa009dc11f552 Mon Sep 17 00:00:00 2001
From: wukong <rebirthmonkey@gmail.com>
Date: Mon, 23 Nov 2015 17:48:48 +0100
Subject: moon-abe cleanup

Change-Id: Ie1259856db03f0b9e80de3e967ec6bd1f03191b3
---
 moon-abe/pbc-0.5.14/doc/makeover | 50 ----------------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 moon-abe/pbc-0.5.14/doc/makeover

(limited to 'moon-abe/pbc-0.5.14/doc/makeover')

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
-- 
cgit 1.2.3-korg