From f09b747ee1c802f36ab5ce50e43557ecf78ed725 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 23 Aug 2001 14:39:02 +0000
Subject: [PATCH] [project @ 2001-08-23 14:39:02 by simonmar] document
 -fno-code.

---
 ghc/docs/users_guide/flags.sgml |    6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 320bae4..061fc1a 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -1027,6 +1027,12 @@
 	      <entry>dynamic</entry>
 	      <entry>-fasm</entry>
 	    </row>
+	    <row>
+	      <entry><option>-fno-code</option></entry>
+	      <entry>Omit code generation</entry>
+	      <entry>static</entry>
+	      <entry>-</entry>
+	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>
-- 
1.7.10.4