diff options
| -rw-r--r-- | docs/users_guide/debugging.xml | 20 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 12 |
2 files changed, 0 insertions, 32 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 07e2a4be4e..aebb928ae8 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -182,16 +182,6 @@ <varlistentry> <term> - <option>-ddump-cpranal</option>: - <indexterm><primary><option>-ddump-cpranal</option></primary></indexterm> - </term> - <listitem> - <para>CPR analyser output</para> - </listitem> - </varlistentry> - - <varlistentry> - <term> <option>-ddump-stranal</option>: <indexterm><primary><option>-ddump-stranal</option></primary></indexterm> </term> @@ -262,16 +252,6 @@ <varlistentry> <term> - <option>-ddump-flatC</option>: - <indexterm><primary><option>-ddump-flatC</option></primary></indexterm> - </term> - <listitem> - <para><emphasis>flattened</emphasis> Abstract C</para> - </listitem> - </varlistentry> - - <varlistentry> - <term> <option>-ddump-cmm</option>: <indexterm><primary><option>-ddump-cmm</option></primary></indexterm> </term> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 1385acb7a5..4d4706b005 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2990,12 +2990,6 @@ <entry>-</entry> </row> <row> - <entry><option>-ddump-cpranal</option></entry> - <entry>Dump output from CPR analysis</entry> - <entry>dynamic</entry> - <entry>-</entry> - </row> - <row> <entry><option>-ddump-cse</option></entry> <entry>Dump CSE output</entry> <entry>dynamic</entry> @@ -3014,12 +3008,6 @@ <entry>-</entry> </row> <row> - <entry><option>-ddump-flatC</option></entry> - <entry>Dump “flat” C</entry> - <entry>dynamic</entry> - <entry>-</entry> - </row> - <row> <entry><option>-ddump-foreign</option></entry> <entry>Dump <literal>foreign export</literal> stubs</entry> <entry>dynamic</entry> |