From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 7 Oct 2008 15:10:07 +0000 (+0000)
Subject: add a section id for +RTS -hT
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=c74dd1f133703da84fdd8a513a3598fc74b67f0b

add a section id for +RTS -hT
---

diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index 0582423..8a7bafd 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -689,7 +689,7 @@
       <xref linkend="parallel-options"/>.</para>
   </sect2>
 
-  <sect2>
+  <sect2 id="rts-profiling">
     <title>RTS options for profiling</title>
 
     <para>Most profiling runtime options are only available when you