diff options
Diffstat (limited to 'ghc/docs/users_guide/flags.xml')
| -rw-r--r-- | ghc/docs/users_guide/flags.xml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index d3922c3414..e288da2fb2 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>dynamic</entry> + <entry>mode</entry> <entry>-</entry> </row> </tbody> @@ -1870,12 +1870,6 @@ <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> |