diff options
Diffstat (limited to 'docs/users_guide/debugging.xml')
-rw-r--r-- | docs/users_guide/debugging.xml | 20 |
1 files changed, 0 insertions, 20 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> |