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 /doc | |
| 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 'doc')
| -rw-r--r-- | doc/haddock.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml index de8f02a4..16b8b05d 100644 --- a/doc/haddock.xml +++ b/doc/haddock.xml @@ -375,7 +375,7 @@ </listitem> </varlistentry> <varlistentry> - <term><filename>haddock.js</filename></term> + <term><filename>haddock-util.js</filename></term> <listitem> <para>A small piece of JavaScript for collapsing sections of the generated HTML.</para> |