Remove the bit about External Core from flags.xml
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 May 2014 07:35:25 +0000 (08:35 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 19 May 2014 13:25:56 +0000 (14:25 +0100)
This is a lefover vestige from Austin's removal of External Core

docs/users_guide/flags.xml

index dc7644a..063b573 100644 (file)
 
 
   <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>