Update documentation

diff --git a/doc.html b/doc.html
index e5b768252c831db0fa5cf7f96c3d7cb8d679decd..e8ee4f98d4edb0e73fc5996204a62a4bded4b3ff 100644 (file)
--- a/doc.html
+++ b/doc.html
@@ -78,6 +78,10 @@
                         <td>-O&lt;level&gt;</td>
                         <td>Specfies the optimization level: highest being 3, lowest being 0 (no optimization).</td>
                     </tr>
+                    <tr>
+                        <td>-g</td>
+                        <td>Enables generation of debug info for engine backtraces (turns on -flno)</td>
+                    </tr>
                     <tr>
                         <td>-E</td>
                         <td>Instructs the compiler to only preprocess the input, writing the preprocessed output to stdout</td>
@@ -195,7 +199,7 @@
                     </tr>
                     <tr>
                         <td>-flno</td>
-                        <td>Enables generation of progs.lno for engine VM backtraces</td>
+                        <td>Enables generation of progs.lno for engine VM backtraces (enabled with -g as well)</td>
                     </tr>
                 </table>
                 <h3>Warning options</h3>