1 files changed, 0 insertions, 15 deletions
diff --git a/html/haddock.js b/html/haddock.js
deleted file mode 100644
index 4280d19c..00000000
--- a/html/haddock.js
+++ /dev/null
@@ -1,15 +0,0 @@
-// Haddock JavaScript utilities
-function toggle(button,id)
-{
-   var n = document.getElementById(id).style;
-   if (n.display == "none")
-   {
-	button.src = "minus.gif";
-	n.display = "block";
-   }
-   else
-   {
-	button.src = "plus.gif";
-	n.display = "none";
-   }
-}