[project @ 2001-05-03 21:07:21 by sof]

[ghc-hetmet.git] / ghc / docs / users_guide / runtime_control.sgml

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>