[project @ 2001-05-03 09:35:09 by simonmar]

mention, with a link, the +RTS -xc option.

diff --git a/ghc/docs/users_guide/profiling.sgml b/ghc/docs/users_guide/profiling.sgml
index a29b160..fedc9fb 100644 (file)
--- a/ghc/docs/users_guide/profiling.sgml
+++ b/ghc/docs/users_guide/profiling.sgml
@@ -674,6 +674,18 @@ $ ghcprof <prog>.prof
        </listitem>
       </varlistentry>
 
+      <varlistentry>
+       <term><option>-xc</option></term>
+       <indexterm><primary><option>-xc</option></primary><secondary>RTS
+       option</secondary></indexterm>
+       <listitem>
+         <para>This option makes use of the extra information
+         maintained by the cost-centre-stack profiler to provide
+         useful information about the location of runtime errors.
+         See <xref linkend="stack-trace-option">.</para>
+       </listitem>
+      </varlistentry>
+
     </variableList>
     
   </sect1>