From 261103b5bfd89335d028bf800af3f0a1ab1b70e5 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 9 Mar 2010 15:13:00 +0000
Subject: New HTML documentation generator

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 doc/coq2html.js | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 doc/coq2html.js

(limited to 'doc/coq2html.js')

diff --git a/doc/coq2html.js b/doc/coq2html.js
new file mode 100644
index 00000000..a840b004
--- /dev/null
+++ b/doc/coq2html.js
@@ -0,0 +1,24 @@
+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