1 files changed, 0 insertions, 37 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/find_selflink.js b/moon-abe/pbc-0.5.14/doc/find_selflink.js
deleted file mode 100644
index db436db7..00000000
--- a/moon-abe/pbc-0.5.14/doc/find_selflink.js
+++ /dev/null
@@ -1,37 +0,0 @@
-// From my own website(!)
-//TODO: only do this for links in the table of contents menu
-
-function find_selflink() {
-    var a = document.links;
-    var i = 0;
-    while (i < a.length) {
-	if (a[i].href == document.URL) {
-            var c;
-            var j;
-            var s_new = document.createElement("span");
-            s_new.className = "currentlink";
-            c = a[i].childNodes;
-            for (j=0; j<c.length; j++) {
-                s_new.appendChild(c[j]);
-            }
-            a[i].parentNode.replaceChild(s_new, a[i]);
-        } else {
-            i++;
-        }
-
-	/*
-	if (a[i].href == document.URL) {
-	    a[i].className = "currentlink";
-	    if (0) {
-		var s_new = document.createElement("span");
-		s_new.className = "currentlink";
-		s_new.appendChild(a[i]);
-		a[i].parentNode.replaceChild(s_new, a[i]);
-	    }
-	}
-	i++;
-	*/
-    }
-}
-
-find_selflink();