[commit: ghc] master: Remove the bit about External Core from flags.xml (eab173b)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/eab173b1e4eb588577d105ced57faff2c74cf0b2/ghc

>---------------------------------------------------------------

commit eab173b1e4eb588577d105ced57faff2c74cf0b2
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri May 16 08:35:25 2014 +0100

    Remove the bit about External Core from flags.xml
    
    This is a lefover vestige from Austin's removal of External Core


>---------------------------------------------------------------

eab173b1e4eb588577d105ced57faff2c74cf0b2
 docs/users_guide/flags.xml | 28 ----------------------------
 1 file changed, 28 deletions(-)

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index dc7644a..063b573 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2607,34 +2607,6 @@
 
 
   <sect2>
-    <title>External core file options</title>
-
-    <para><xref linkend="ext-core"/></para>
-
-    <informaltable>
-      <tgroup cols="4" align="left" colsep="1" rowsep="1">
-        <thead>
-          <row>
-            <entry>Flag</entry>
-            <entry>Description</entry>
-            <entry>Static/Dynamic</entry>
-            <entry>Reverse</entry>
-          </row>
-        </thead>
-        <tbody>
-          <row>
-            <entry><option>-fext-core</option></entry>
-            <entry><emphasis>(deprecated)</emphasis> Generate <filename>.hcr</filename> external Core files</entry>
-            <entry>dynamic</entry>
-            <entry>-</entry>
-          </row>
-        </tbody>
-      </tgroup>
-    </informaltable>
-  </sect2>
-
-
-  <sect2>
     <title>Compiler debugging options</title>
 
     <para><xref linkend="options-debugging"/></para>