Commit eab173b1 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove the bit about External Core from flags.xml

This is a lefover vestige from Austin's removal of External Core
parent 3a61e6de
......@@ -2606,34 +2606,6 @@
<title>External core file options</title>
<para><xref linkend="ext-core"/></para>
<tgroup cols="4" align="left" colsep="1" rowsep="1">
<entry><emphasis>(deprecated)</emphasis> Generate <filename>.hcr</filename> external Core files</entry>
<title>Compiler debugging options</title>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment