From 95bf7df47d988d0d5754652e1bb3f0cea3fba19b Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Tue, 8 Jan 2002 14:11:28 +0000
Subject: [PATCH] [project @ 2002-01-08 14:11:28 by sof] adjust pointer to the
 RTS profiling options section

---
 ghc/docs/users_guide/5-02-notes.sgml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/5-02-notes.sgml b/ghc/docs/users_guide/5-02-notes.sgml
index ad4f43c..8a64c07 100644
--- a/ghc/docs/users_guide/5-02-notes.sgml
+++ b/ghc/docs/users_guide/5-02-notes.sgml
@@ -56,7 +56,7 @@
       <listitem>
 	<para><option>+RTS
           -i<replaceable>seconds</replaceable></option> flag reinstated for heap
-          profiling.  See <xref linkend="prof-rts-options">.</para>
+          profiling.  See <xref linkend="rts-options-heap-prof">.</para>
       </listitem>
 
       <listitem>
-- 
1.7.10.4