From 84447b3787307aeca38cbc4f12bf2c7a07c1ef83 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 3 May 2001 09:35:09 +0000
Subject: [PATCH] [project @ 2001-05-03 09:35:09 by simonmar] mention, with a
 link, the +RTS -xc option.

---
 ghc/docs/users_guide/profiling.sgml |   12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/ghc/docs/users_guide/profiling.sgml b/ghc/docs/users_guide/profiling.sgml
index a29b160..fedc9fb 100644
--- a/ghc/docs/users_guide/profiling.sgml
+++ b/ghc/docs/users_guide/profiling.sgml
@@ -674,6 +674,18 @@ $ ghcprof &lt;prog&gt;.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>
-- 
1.7.10.4