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

adjust pointer to the RTS profiling options section

[project @ 2002-01-08 14:11:28 by sof]
adjust pointer to the RTS profiling options section
95bf7df4 · sof · a536ea68 · 95bf7df4
Commit 95bf7df4 authored Jan 08, 2002 by sof
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ghc/docs/users_guide/5-02-notes.sgml ghc/docs/users_guide/5-02-notes.sgml +1 -1

No files found.
--- 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>