Document -ddump-simpl-phases

docs/users_guide/debugging.xml

@@ -278,6 +278,17 @@
 	</listitem>
       </varlistentry>
       
+      <varlistentry>
+	<term>
+          <option>-ddump-simpl-phases</option>:
+          <indexterm><primary><option>-ddump-simpl-phases</option></primary></indexterm>
+        </term>
+	<listitem>
+	  <para>Show the output of each run of the simplifier.  Used when even
+        <option>-dverbose-simpl</option> doesn't cut it.</para>
+	</listitem>
+      </varlistentry>
+
       <varlistentry>
 	<term>
           <option>-ddump-simpl-iterations</option>:
@@ -286,8 +297,8 @@
 	<listitem>
 	  <para>Show the output of each <emphasis>iteration</emphasis>
         of the simplifier (each run of the simplifier has a maximum
-        number of iterations, normally 4).  Used when even
-        <option>-dverbose-simpl</option> doesn't cut it.</para>
+        number of iterations, normally 4).  This outputs even more information
+        than <option>-ddump-simpl-phases</option>.</para>
 	</listitem>
       </varlistentry>
 

docs/users_guide/flags.xml

@@ -2081,6 +2081,12 @@
 	      <entry>dynamic</entry>
 	      <entry>-</entry>
 	    </row>
+	    <row>
+	      <entry><option>-ddump-simpl-phases</option></entry>
+	      <entry>Dump output from each simplifier phase</entry>
+	      <entry>dynamic</entry>
+	      <entry>-</entry>
+	    </row>
 	    <row>
 	      <entry><option>-ddump-simpl-iterations</option></entry>
 	      <entry>Dump output from each simplifier iteration</entry>