From c74dd1f133703da84fdd8a513a3598fc74b67f0b Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 7 Oct 2008 15:10:07 +0000
Subject: [PATCH] add a section id for +RTS -hT

---
 docs/users_guide/runtime_control.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
1.7.10.4