From: simonmar <unknown>
Date: Thu, 3 May 2001 09:36:43 +0000 (+0000)
Subject: [project @ 2001-05-03 09:36:43 by simonmar]
X-Git-Tag: Approximately_9120_patches~2010
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=46dddf6d33cda880268097c9ab54e6f66e77ae7a;p=ghc-hetmet.git

[project @ 2001-05-03 09:36:43 by simonmar]
Oops, xrefs to varlistentries are unsupported apparently.  Xref the
section instead.
---

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>