From e0dc0bc87a534b5a0329d3544c408c5f32d129a4 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 10 Jan 2006 09:05:18 +0000
Subject: [PATCH] [project @ 2006-01-10 09:05:18 by simonmar] add file
 argument to docs for +RTS -t

---
 ghc/docs/users_guide/runtime_control.xml |    9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/runtime_control.xml b/ghc/docs/users_guide/runtime_control.xml
index e779ce3..daed07c 100644
--- a/ghc/docs/users_guide/runtime_control.xml
+++ b/ghc/docs/users_guide/runtime_control.xml
@@ -377,13 +377,20 @@
 
       <varlistentry>
 	<term>
-          <option>-t</option>
+          <option>-t<replaceable>file</replaceable></option>
           <indexterm><primary><option>-t</option></primary><secondary>RTS option</secondary></indexterm>
         </term>
 	<listitem>
 	  <para>Write a one-line GC stats summary after running the
 	  program.  This output is in the same format as that produced
 	  by the <option>-Rghc-timing</option> option.</para>
+
+	  <para>As with <option>-s</option>, the default
+          <replaceable>file</replaceable> is
+          <filename><replaceable>program</replaceable>.stat</filename>. The
+          <replaceable>file</replaceable> <constant>stderr</constant>
+          is treated specially, with the output really being sent to
+          <constant>stderr</constant>.</para>
 	</listitem>
       </varlistentry>
     </variablelist>
-- 
1.7.10.4