1 files changed, 0 insertions, 14 deletions
diff --git a/doc/site.js b/doc/site.js
deleted file mode 100644
index e805969f0..000000000
--- a/doc/site.js
+++ /dev/null
@@ -1,14 +0,0 @@
-switch(window.location.protocol) {
-    case 'http:':
-    case 'https:':
-        // remote file
-        document.getElementById("searchSite").style.display = "block";
-        break;
-    case 'file:':
-        // local file
-        document.getElementById("searchSite").style.display = "none";
-        break;
-    default:
-
-    break;
-}