diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-09 15:13:00 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-09 15:13:00 +0000 |
commit | 261103b5bfd89335d028bf800af3f0a1ab1b70e5 (patch) | |
tree | 8777745c993ce221a859763328ef2106390d867c /doc/coq2html.js | |
parent | a24cfb086163ab359735392340acfe03e133be64 (diff) | |
download | compcert-261103b5bfd89335d028bf800af3f0a1ab1b70e5.tar.gz compcert-261103b5bfd89335d028bf800af3f0a1ab1b70e5.zip |
New HTML documentation generator
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'doc/coq2html.js')
-rw-r--r-- | doc/coq2html.js | 24 |
1 files changed, 24 insertions, 0 deletions
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'; + } + } +} |