From 5403a5af081b01916e1d94403f608051c377ee7f Mon Sep 17 00:00:00 2001
From: Simon Marlow <simonmar@microsoft.com>
Date: Wed, 11 Oct 2006 14:17:37 +0000
Subject: 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.

---
 doc/haddock.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

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>
-- 
cgit v1.2.3