diff options
| -rw-r--r-- | ghc/docs/users_guide/flags.xml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index e288da2fb2..d3922c3414 100644 --- 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> |