From 24951d885fbadb8f2fa96ea44a6d3b2a397eab00 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 1 Jun 2018 10:40:04 +0200
Subject: Use the standalone coq2html tool to generate the HTML documentation

coq2html is now a standalone project (https://github.com/xavierleroy/coq2html)
packaged as coq-coq2html in OPAM-Coq.
---
 doc/coq2html.js | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 doc/coq2html.js

(limited to 'doc/coq2html.js')

diff --git a/doc/coq2html.js b/doc/coq2html.js
deleted file mode 100644
index a840b004..00000000
--- a/doc/coq2html.js
+++ /dev/null
@@ -1,24 +0,0 @@
-function toggleDisplay(id)
-{
-   var elt = document.getElementById(id);
-   if (elt.style.display == 'none') {
-     elt.style.display = 'block';
-   } else {
-     elt.style.display = 'none';
-   }
-}
-
-function hideAll(cls)
-{
-  var testClass = new RegExp("(^|s)" + cls + "(s|$)");
-  var tag = tag || "*";
-  var elements = document.getElementsByTagName("div");
-  var current;
-  var length = elements.length;
-  for(var i=0; i<length; i++){
-    current = elements[i];
-    if(testClass.test(current.className)) {
-      current.style.display = 'none';
-    }
-  }
-}
-- 
cgit