X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fseparate_compilation.xml;h=099a91f8c32152281b09f1d6d8afcd488c8427e2;hb=6cec61d14a324285dbb8ce73d4c7215f1f8d6766;hp=9ce971d511ca5c9c4c3ade957f3a58ddefac950a;hpb=a3783a326f3a19b665883529e12a4609a7e0c327;p=ghc-hetmet.git

diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml
index 9ce971d..099a91f 100644
--- a/docs/users_guide/separate_compilation.xml
+++ b/docs/users_guide/separate_compilation.xml
@@ -461,9 +461,7 @@ $ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `uname -m`
 	    <para>Keep intermediate <literal>.hc</literal> files when
 	    doing <literal>.hs</literal>-to-<literal>.o</literal>
 	    compilations via C (NOTE: <literal>.hc</literal> files
-	    aren't generated when using the native code generator, you
-	    may need to use <option>-fvia-C</option> to force them
-	    to be produced).</para>
+	    are only generated by unregisterised compilers).</para>
 	  </listitem>
 	</varlistentry>
 
@@ -498,22 +496,6 @@ $ ghc -c parse/Foo.hs parse/Bar.hs gurgle/Bumble.hs -odir `uname -m`
 
 	<varlistentry>
 	  <term>
-            <option>-keep-raw-s-file</option>,
-            <option>-keep-raw-s-files</option>
-            <indexterm><primary><option>-keep-raw-s-file</option></primary></indexterm>
-            <indexterm><primary><option>-keep-raw-s-files</option></primary></indexterm>
-          </term>
-	  <listitem>
-	    <para>Keep intermediate <literal>.raw-s</literal> files.
-	    These are the direct output from the C compiler, before
-	    GHC does &ldquo;assembly mangling&rdquo; to produce the
-	    <literal>.s</literal> file.  Again, these are not produced
-	    when using the native code generator.</para>
-	  </listitem>
-	</varlistentry>
-
-	<varlistentry>
-	  <term>
             <option>-keep-tmp-files</option>
             <indexterm><primary><option>-keep-tmp-files</option></primary></indexterm>
             <indexterm><primary>temporary files</primary><secondary>keeping</secondary></indexterm>