diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-05-16 08:35:25 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-05-19 14:25:56 +0100 |
commit | eab173b1e4eb588577d105ced57faff2c74cf0b2 (patch) | |
tree | 15d9be4799564bb44bae9139c6e5b1767c9e1522 /docs/users_guide/flags.xml | |
parent | 3a61e6de311ad235aec9f0a55201656805e3c04e (diff) | |
download | haskell-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/users_guide/flags.xml')
-rw-r--r-- | docs/users_guide/flags.xml | 28 |
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> |