[project @ 2005-11-25 09:25:08 by simonmar]

object files don't use the .obj suffix on Windows.

diff --git a/ghc/docs/users_guide/separate_compilation.xml b/ghc/docs/users_guide/separate_compilation.xml
index fc44fe6..21490b1 100644 (file)
--- a/ghc/docs/users_guide/separate_compilation.xml
+++ b/ghc/docs/users_guide/separate_compilation.xml
@@ -55,8 +55,8 @@
       an <firstterm>interface file</firstterm>. </para>
 
       <para>The object file, which normally ends in a
-      <literal>.o</literal> suffix (or <literal>.obj</literal> if
-      you're on Windows), contains the compiled code for the module.</para>
+      <literal>.o</literal> suffix, contains the compiled code for the
+      module.</para>
 
       <para>The interface file,
       which normally ends in a <literal>.hi</literal> suffix, contains