diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2006-10-11 14:17:37 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2006-10-11 14:17:37 +0000 |
| commit | 5403a5af081b01916e1d94403f608051c377ee7f (patch) | |
| tree | 7d8cc4a7f3acff9955f7b8a2fcaf745133aec615 /html/haddock.js | |
| parent | e397ffd7c92eb81eb943d9843a8733014abdbbf7 (diff) | |
Rename haddock.js to haddock-util.js
haddock.js will be run automatically by Windows when you type
'haddock' if it is found on the PATH, so rename to avoid confusion.
Spotted by Adrian Hey.
Diffstat (limited to 'html/haddock.js')
| -rw-r--r-- | html/haddock.js | 15 |
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"; - } -} |