From 206710baa90ffb7ff3541f76ec2d5daf5e3a47e5 Mon Sep 17 00:00:00 2001 From: Lemmih Date: Sat, 18 Mar 2006 17:30:34 +0000 Subject: [PATCH] Documentation for -fno-code and -fwrite-iface. --- ghc/docs/users_guide/flags.xml | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml index d3922c3..e288da2 100644 --- a/ghc/docs/users_guide/flags.xml +++ b/ghc/docs/users_guide/flags.xml @@ -1223,7 +1223,7 @@ Omit code generation - dynamic + mode - @@ -1870,12 +1870,6 @@ dynamic - - - - Write interface to disk even when not generating any code (see ) - dynamic - -fno-write-iface - -- 1.7.10.4