[project @ 2006-01-06 11:04:07 by simonmar]

[ghc-hetmet.git] / ghc / docs / users_guide / using.xml

diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml
index 761d6cf..32c194a 100644 (file)
--- a/ghc/docs/users_guide/using.xml
+++ b/ghc/docs/users_guide/using.xml
@@ -746,6 +746,19 @@ ghc -c Foo.hs</screen>
          it).</para>
        </listitem>
       </varlistentry>
+
+      <varlistentry>
+        <term><option>-Rghc-timing</option>
+        <indexterm><primary><option>-Rghc-timing</option></primary></indexterm>
+        </term>
+        <listitem>
+          <para>Prints a one-line summary of timing statistics for the
+          GHC run.  This option is equivalent to
+          <literal>+RTS&nbsp;-tstderr</literal>, see <xref
+          linkend="rts-options-gc" />.
+          </para>
+        </listitem>
+      </varlistentry>
     </variablelist>
   </sect1>