Document -dump{,fin}

diff --git a/doc.html b/doc.html
index 0bdc3c8b68c991d2a68f6f43f8723bb8d23a9570..ab3f3d531e3b6c62073d09a70ee0f971f78322ce 100644 (file)
--- a/doc.html
+++ b/doc.html
@@ -469,6 +469,14 @@
                         <td>-memchk</td>
                         <td>Turns on compiler memory leak checker</td>
                     </tr>
+                    <tr>
+                        <td>-dump</td>
+                        <td>Dump IR before optimizing and finalizing</td>
+                    </tr>
+                    <tr>
+                        <td>-dumpfin</td>
+                        <td>Dump IR after optimizing and finalizing</td>
+                    </tr>
                     <tr>
                         <td>-Whelp or -W?</td>
                         <td>Lists all warning options</td>