X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fflags.xml;h=0dde52e317a358f24cc654b95a1fb057c97c740d;hb=2a2efb720c0fdc06fe749f96f284b00b30f8f3f7;hp=8406184fa6b08b24761830ec2e2e2965646106b2;hpb=dd45134bcb376a8bbc982370b95b3dbeaa8dc58a;p=ghc-hetmet.git

diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index 8406184..0dde52e 100644
--- a/ghc/docs/users_guide/flags.xml
+++ b/ghc/docs/users_guide/flags.xml
@@ -77,6 +77,12 @@
 	      <entry>static</entry>
 	      <entry>-</entry>
 	    </row>
+	    <row>
+	      <entry><option>-Rghc-timing</option></entry>
+	      <entry>Summarise timing stats for GHC (same as <literal>+RTS -tstderr</literal>)</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>
@@ -1876,7 +1882,6 @@ Still to document:
 
 Misc:
   ,  ( "H"                 , HasArg (setHeapSize . fromIntegral . decodeSize) )
-  ,  ( "Rghc-timing"	   , NoArg  (enableTimingStats) )
 
   -Bdir
 -->