projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2838dd9
)
Removed duplicate entry for derbugging flag -ddump-tc from the user guide
author
v.dijk.bas@gmail.com
<unknown>
Thu, 20 Sep 2007 12:13:06 +0000
(12:13 +0000)
committer
v.dijk.bas@gmail.com
<unknown>
Thu, 20 Sep 2007 12:13:06 +0000
(12:13 +0000)
docs/users_guide/debugging.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/debugging.xml
b/docs/users_guide/debugging.xml
index
8a4129b
..
4ab4379
100644
(file)
--- a/
docs/users_guide/debugging.xml
+++ b/
docs/users_guide/debugging.xml
@@
-60,16
+60,6
@@
<varlistentry>
<term>
<varlistentry>
<term>
- <option>-ddump-tc</option>:
- <indexterm><primary><option>-ddump-tc</option></primary></indexterm>
- </term>
- <listitem>
- <para>typechecker output</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
<option>-ddump-splices</option>:
<indexterm><primary><option>-ddump-splices</option></primary></indexterm>
</term>
<option>-ddump-splices</option>:
<indexterm><primary><option>-ddump-splices</option></primary></indexterm>
</term>