From 46dddf6d33cda880268097c9ab54e6f66e77ae7a Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 3 May 2001 09:36:43 +0000
Subject: [PATCH] [project @ 2001-05-03 09:36:43 by simonmar] Oops, xrefs to
 varlistentries are unsupported apparently.  Xref the
 section instead.

---
 ghc/docs/users_guide/profiling.sgml       |    2 +-
 ghc/docs/users_guide/runtime_control.sgml |    4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ghc/docs/users_guide/profiling.sgml b/ghc/docs/users_guide/profiling.sgml
index fedc9fb..4413eb2 100644
--- a/ghc/docs/users_guide/profiling.sgml
+++ b/ghc/docs/users_guide/profiling.sgml
@@ -682,7 +682,7 @@ $ ghcprof &lt;prog&gt;.prof
 	  <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>
+	  See <xref linkend="rts-options-debugging">.</para>
 	</listitem>
       </varlistentry>
 
diff --git a/ghc/docs/users_guide/runtime_control.sgml b/ghc/docs/users_guide/runtime_control.sgml
index 9dc6e14..b7b6fab 100644
--- a/ghc/docs/users_guide/runtime_control.sgml
+++ b/ghc/docs/users_guide/runtime_control.sgml
@@ -271,7 +271,7 @@
   </sect2>
 
 <!-- ---------------------------------------------------------------------- -->
-  <sect2>
+  <sect2 id="rts-options-debugging">
     <title>RTS options for hackers, debuggers, and over-interested
     souls</title>
 
@@ -338,7 +338,7 @@
 	</listitem>
       </varlistentry>
 
-      <varlistentry id="stack-trace-option">
+      <varlistentry>
 	<term><option>-xc</option></term>
 	<indexterm><primary><option>-xc</option></primary><secondary>RTS
 	option</secondary></indexterm>
-- 
1.7.10.4