[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 (file)
--- a/ghc/docs/users_guide/profiling.sgml
+++ b/ghc/docs/users_guide/profiling.sgml
@@ -682,7 +682,7 @@ $ ghcprof <prog>.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 (file)
--- 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>