From: sof <unknown>
Date: Tue, 8 Jan 2002 14:11:28 +0000 (+0000)
Subject: [project @ 2002-01-08 14:11:28 by sof]
X-Git-Tag: Approximately_9120_patches~300
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=95bf7df47d988d0d5754652e1bb3f0cea3fba19b;hp=a536ea6822bb537532b37306d68c452a9a6b39c3;p=ghc-hetmet.git

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