From 25a78b691c8070833f3f9ff88a81c442267d5667 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 25 Nov 2005 09:25:08 +0000
Subject: [PATCH] [project @ 2005-11-25 09:25:08 by simonmar] object files
 don't use the .obj suffix on Windows.

---
 ghc/docs/users_guide/separate_compilation.xml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/users_guide/separate_compilation.xml b/ghc/docs/users_guide/separate_compilation.xml
index fc44fe6..21490b1 100644
--- 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
-- 
1.7.10.4