[project @ 2002-01-08 14:11:28 by sof]

adjust pointer to the RTS profiling options section

diff --git a/ghc/docs/users_guide/5-02-notes.sgml b/ghc/docs/users_guide/5-02-notes.sgml
index ad4f43c..8a64c07 100644 (file)
--- 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>