From f06315545296c8d8812af359fa5a749c422ade28 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 24 Sep 2003 13:20:03 +0000
Subject: [PATCH] [project @ 2003-09-24 13:20:03 by simonmar] remove docs for
 -fwith option

---
 ghc/docs/users_guide/flags.sgml        |    6 ------
 ghc/docs/users_guide/glasgow_exts.sgml |   12 ------------
 2 files changed, 18 deletions(-)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index 3344b9b..1984429 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -510,12 +510,6 @@
 	      <entry>dynamic</entry>
 	      <entry><option>-fno-th</option></entry>
 	    </row>
-	    <row>
-	      <entry><option>-fwith</option></entry>
-	      <entry>Enable deprecated <literal>with</literal> keyword</entry>
-	      <entry>dynamic</entry>
-	      <entry><option>-fno-with</option></entry>
-	    </row>
 	  </tbody>
 	</tgroup>
       </informaltable>
diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index ff113aa..6ed0c94 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -65,18 +65,6 @@ with GHC.
       </varlistentry>
 
       <varlistentry>
-	<term><option>-fwith</option>:</term>
-	<indexterm><primary><option>-fwith</option></primary></indexterm>
-	<listitem>
-	  <para>This option enables the deprecated <literal>with</literal>
-	  keyword for implicit parameters; it is merely provided for backwards
-	  compatibility.
-          It is independent of the <option>-fglasgow-exts</option>
-          flag. </para>
-	</listitem>
-      </varlistentry>
-
-      <varlistentry>
 	<term><option>-fno-monomorphism-restriction</option>:</term>
 	<indexterm><primary><option>-fno-monomorphism-restriction</option></primary></indexterm>
 	<listitem>
-- 
1.7.10.4