diff options
| -rw-r--r-- | ghc/docs/users_guide/separate_compilation.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/docs/users_guide/separate_compilation.xml b/ghc/docs/users_guide/separate_compilation.xml index fc44fe66b6..21490b1f07 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 |