X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fdebugging.xml;h=0f1fd1822b141f8f8eb9035eb48a57eeff7b45c4;hb=03d8585e0940e28e024548654fe3505685aca94f;hp=4ab43791274bfc982be2b999846a540f4d3735d8;hpb=6e3538235f0b82c074874ddfaa4526e06901256d;p=ghc-hetmet.git

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 4ab4379..0f1fd18 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -601,21 +601,9 @@ Main.skip2{-r1L6-} =
     of platform-specific code that needs to be written in order to get
     unregisterised compilation going is usually fairly small.</para>
 
-    <variablelist>
-      <varlistentry>
-	<term>
-          <option>-unreg</option>:
-          <indexterm><primary><option>-unreg</option></primary></indexterm>
-        </term>
-	<listitem>
-	  <para>Compile via vanilla ANSI C only, turning off
-	  platform-specific optimisations.  NOTE: in order to use
-	  <option>-unreg</option>, you need to have a set of libraries
-	  (including the RTS) built for unregisterised compilation.
-	  This amounts to building GHC with way "u" enabled.</para>
-	</listitem>
-      </varlistentry>
-    </variablelist>
+   <para>Unregisterised compilation cannot be selected at
+   compile-time; you have to build GHC with the appropriate options
+   set.  Consult the GHC Building Guide for details.</para>
   </sect2>
 
 </sect1>