X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fdebugging.xml;fp=docs%2Fusers_guide%2Fdebugging.xml;h=358be1023567d8e1a895a7f9b0e1c67bed39220a;hb=d91240674cd45cb4677adca5829a1851ba3cd044;hp=ee192b624d20c03e7d31d3b7933d0e771c611ac6;hpb=9c84f11b774960077d33d94a23ebc42af79d2ec4;p=ghc-hetmet.git

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index ee192b6..358be10 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -128,6 +128,28 @@
 
 	    <varlistentry>
 	      <term>
+	        <option>-ddump-rule-firings</option>:
+                <indexterm><primary><option>-ddump-rule-firings</option></primary></indexterm>
+	      </term>
+	      <listitem>
+		<para>dumps the names of all rules that fired in this module</para>
+	      </listitem>
+	    </varlistentry>
+
+	    <varlistentry>
+	      <term>
+	        <option>-ddump-rule-rewrites</option>:
+                <indexterm><primary><option>-ddump-rule-rewrites</option></primary></indexterm>
+	      </term>
+	      <listitem>
+		<para>dumps detailed information about all rules that fired in
+		      this module
+		</para>
+	      </listitem>
+	    </varlistentry>
+
+	    <varlistentry>
+	      <term>
 	        <option>-ddump-simpl</option>:
                 <indexterm><primary><option>-ddump-simpl</option></primary></indexterm>
 	      </term>