[project @ 2005-11-17 09:46:35 by simonmar]

small fixes to docs for +RTS -C

diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml
index f9deafe..141dd4a 100644 (file)
--- a/ghc/docs/users_guide/using.xml
+++ b/ghc/docs/users_guide/using.xml
@@ -1725,17 +1725,16 @@ the default is 2.
 </listitem>
 </varlistentry>
 <varlistentry>
-<term><option>-C[&lt;us&gt;]</option>:</term>
+<term><option>-C[&lt;s&gt;]</option>:</term>
 <listitem>
 <para>
-<indexterm><primary>-C&lt;us&gt; RTS option</primary></indexterm> Sets
+<indexterm><primary>-C&lt;s&gt; RTS option</primary></indexterm> Sets
 the context switch interval to <literal>&lt;s&gt;</literal> seconds.
 A context switch will occur at the next heap block allocation after
 the timer expires (a heap block allocation occurs every 4k of
 allocation).  With <option>-C0</option> or <option>-C</option>,
 context switches will occur as often as possible (at every heap block
-allocation).  By default, context switches occur every 20ms
-milliseconds.  Note that GHC's internal timer ticks every 20ms, and
+allocation).  By default, context switches occur every 20ms.  Note that GHC's internal timer ticks every 20ms, and
 the context switch timer is always a multiple of this timer, so 20ms
 is the maximum granularity available for timed context switches.
 </para>