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 (file)
--- 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