summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2014-05-16 08:35:25 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2014-05-19 14:25:56 +0100
commiteab173b1e4eb588577d105ced57faff2c74cf0b2 (patch)
tree15d9be4799564bb44bae9139c6e5b1767c9e1522 /docs
parent3a61e6de311ad235aec9f0a55201656805e3c04e (diff)
downloadhaskell-eab173b1e4eb588577d105ced57faff2c74cf0b2.tar.gz
Remove the bit about External Core from flags.xml
This is a lefover vestige from Austin's removal of External Core
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/flags.xml28
1 files changed, 0 insertions, 28 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index dc7644a5d6..063b573513 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>