diff --git a/ghc/docs/users_guide/debugging.vsgml b/ghc/docs/users_guide/debugging.vsgml index c3e7acf9a7fa671b1b7986aec4a7418c05cfdc1b..4f8b0caa977ea2156f18ef69e0f661a6c1cbcc3e 100644 --- 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>%