X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fusers_guide%2Fruntime_control.xml;h=8a7bafd922a5b4418e6301b0743dc59635bab90a;hb=c74dd1f133703da84fdd8a513a3598fc74b67f0b;hp=0582423564ab6f33581a1995ee4e93c931b57ef8;hpb=2493950abe7896a4e6b1f916d7122c096f5fb852;p=ghc-hetmet.git

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