[project @ 1999-07-06 13:26:38 by keithw]

Whoops, add index terms too.

diff --git a/ghc/docs/users_guide/debugging.vsgml b/ghc/docs/users_guide/debugging.vsgml
index c3e7acf..4f8b0ca 100644 (file)
--- a/ghc/docs/users_guide/debugging.vsgml
+++ b/ghc/docs/users_guide/debugging.vsgml
@@ -124,6 +124,8 @@ Some of the most useful ones are:
 <tag>@-ddump-asm@:</tag>  assembly language from the native-code generator
 </descrip>
 
+<nidx>-ddump-all option</nidx>%
+<nidx>-ddump-most option</nidx>%
 <nidx>-ddump-rdr option</nidx>%
 <nidx>-ddump-rn option</nidx>%
 <nidx>-ddump-tc option</nidx>%