summaryrefslogtreecommitdiff
path: root/docs/users_guide/debugging.xml
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/debugging.xml')
-rw-r--r--docs/users_guide/debugging.xml20
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&nbsp;C</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
<option>-ddump-cmm</option>:
<indexterm><primary><option>-ddump-cmm</option></primary></indexterm>
</term>