Documentation for -fno-code and -fwrite-iface.

diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index e288da2..d3922c3 100644 (file)
--- a/ghc/docs/users_guide/flags.xml
+++ b/ghc/docs/users_guide/flags.xml
@@ -1223,7 +1223,7 @@
            <row>
              <entry><option>-fno-code</option></entry>
              <entry>Omit code generation</entry>
-             <entry>mode</entry>
+             <entry>dynamic</entry>
              <entry>-</entry>
            </row>
          </tbody>
@@ -1870,6 +1870,12 @@
              <entry>dynamic</entry>
              <entry>-</entry>
            </row>
+           <row>
+             <entry><option>-fwrite-iface</option></entry>
+             <entry>Write interface to disk even when not generating any code (see <option>-fno-code</option>)</entry>
+             <entry>dynamic</entry>
+             <entry>-fno-write-iface</entry>
+           </row>
          </tbody>
        </tgroup>
       </informaltable>