Document -redirout/-redirerr + -nocolor for compiler options

diff --git a/doc.html b/doc.html
index f45c9b854a2ea673f5456e47af44a78f8a098bf8..b5ee86860f9b7726585894d75171a01475a74aa2 100644 (file)
--- a/doc.html
+++ b/doc.html
@@ -286,6 +286,18 @@
                         <td>-fhelp or -f?</td>
                         <td>Lists all code generation options</td>
                     </tr>
+                    <tr>
+                        <td>-redirout=&lt;file&gt;</td>
+                        <td>Redirect stdout to any file.</td>
+                    </tr>
+                    <tr>
+                        <td>-redirerr=&lt;file&gt;</td>
+                        <td>Redirect stderr to any file.</td>
+                    </tr>
+                    <tr>
+                        <td>-nocolor</td>
+                        <td>Turn off colored stdout/stderr.</td>
+                    </tr>
                 </table>
                 
                 <h1><a name="bdoc">Building Documentation</a></h1>