From 76c0086f090327eecaf510de8bc4efc4dee996dc Mon Sep 17 00:00:00 2001
From: Lemmih <lemmih@gmail.com>
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, 7 insertions(+), 1 deletion(-)

diff --git a/ghc/docs/users_guide/flags.xml b/ghc/docs/users_guide/flags.xml
index e288da2..d3922c3 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>
-- 
1.7.10.4