[project @ 2001-08-23 14:39:02 by simonmar]

document -fno-code.

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 320bae4..061fc1a 100644 (file)
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -1027,6 +1027,12 @@
              <entry>dynamic</entry>
              <entry>-fasm</entry>
            </row>
+           <row>
+             <entry><option>-fno-code</option></entry>
+             <entry>Omit code generation</entry>
+             <entry>static</entry>
+             <entry>-</entry>
+           </row>
          </tbody>
        </tgroup>
       </informaltable>