From d91240674cd45cb4677adca5829a1851ba3cd044 Mon Sep 17 00:00:00 2001 From: Roman Leshchinskiy Date: Sat, 27 Nov 2010 12:35:28 +0000 Subject: [PATCH] Document -ddump-rule-firings and -ddump-rule-rewrites --- docs/users_guide/debugging.xml | 22 ++++++++++++++++++++++ docs/users_guide/flags.xml | 12 ++++++++++++ docs/users_guide/glasgow_exts.xml | 5 +++-- 3 files changed, 37 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index ee192b6..358be10 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -128,6 +128,28 @@ + : + + + + dumps the names of all rules that fired in this module + + + + + + : + + + + dumps detailed information about all rules that fired in + this module + + + + + + : diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index f522aae..b6ace8d 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2326,6 +2326,18 @@ phase n - + + Dump rule firing info + dynamic + - + + + + Dump detailed rule firing info + dynamic + - + + Dump rules dynamic diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 172d6ff..a29e747 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -8242,7 +8242,7 @@ Here is an example: Use the debug flag to see what rules fired. If you need more information, then shows you -each individual rule firing in detail. +each individual rule firing and also shows what the code looks like before and after the rewrite. @@ -8827,7 +8827,8 @@ If you add you get a more detailed listing. - Use to see in great detail what rules are being fired. + Use or +to see in great detail what rules are being fired. If you add you get a still more detailed listing. -- 1.7.10.4