diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html
index 6fbc1683ae..4519ac8d93 100644
--- a/www/analyzer/checker_dev_manual.html
+++ b/www/analyzer/checker_dev_manual.html
@@ -317,6 +317,12 @@
Useful Commands/Debugging Hints
+To see the ProgramState while debugging use the following command.
+
+(gdb) p State->dump()
+
+
+
To see clang::Expr while debugging use the following command. If you
pass in a SourceManager object, it will also dump the corresponding line in the
source code.