diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:40:04 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:40:04 +0200 |
commit | 24951d885fbadb8f2fa96ea44a6d3b2a397eab00 (patch) | |
tree | c048b0745667c4a00298c302948ddf7afdc5deba /doc/coq2html.js | |
parent | ffc03f2dcb24438d2900743848005c9a058e649c (diff) | |
download | compcert-24951d885fbadb8f2fa96ea44a6d3b2a397eab00.tar.gz compcert-24951d885fbadb8f2fa96ea44a6d3b2a397eab00.zip |
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.
Diffstat (limited to 'doc/coq2html.js')
-rw-r--r-- | doc/coq2html.js | 24 |
1 files changed, 0 insertions, 24 deletions
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'; - } - } -} |