X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fruntime_control.xml;h=77c72be609708e712efdf4c5b7cdc6469a3f1bf4;hb=985916e235d53246d5a00b91349803f563377904;hp=e15d5cc080b36e6d2b5095d0f3945c7d6279ea7a;hpb=93db1991b5cacf8357493a2e17fbbfb485f3205b;p=ghc-hetmet.git

diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index e15d5cc..77c72be 100644
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -90,14 +90,14 @@
 
     <variablelist>
      <varlistentry>
-       <term><option>-V<replaceable>secs</replaceable></option></term>
+       <term><option>-V<replaceable>secs</replaceable></option>
        <indexterm><primary><option>-V</option></primary><secondary>RTS
-       option</secondary></indexterm>
+       option</secondary></indexterm></term>
        <listitem>
          <para>Sets the interval that the RTS clock ticks at.  The
          runtime uses a single timer signal to count ticks; this timer
          signal is used to control the context switch timer (<xref
-         linkend="sec-using-concurrent" />) and the heap profiling
+         linkend="using-concurrent" />) and the heap profiling
          timer <xref linkend="rts-options-heap-prof" />.  Also, the
          time profiler uses the RTS timer signal directly to record
          time profiling samples.</para>
@@ -430,7 +430,7 @@
 
     <para>The RTS options related to profiling are described in <xref
     linkend="rts-options-heap-prof"/>, those for concurrency in
-      <xref linkend="sec-using-concurrent" />, and those for parallelism in
+      <xref linkend="using-concurrent" />, and those for parallelism in
       <xref linkend="parallel-options"/>.</para>
   </sect2>