How to output verbose CFGs

docs/manual/creating-a-checker.tex

@@ -2139,9 +2139,17 @@
 for dotfile in *.dot; do dot -Tpdf -o "$dotfile.pdf" "$dotfile"; done
 \end{Verbatim}
 
+\noindent
+or (for more verbose output)
+
+\begin{Verbatim}
+javacheck -processor mypackage.MyProcessor -Acfgviz=org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer,outdir=.,verbose MyClass.java
+for dotfile in *.dot; do dot -Tpdf -o "$dotfile.pdf" "$dotfile"; done
+\end{Verbatim}
+
 \noindent
 where the first command creates file \<MyClass.dot> that
-represents the CFG, and the last command draws the CFG in a PDF file.
+represents the CFG, and the second command writes the CFG to a PDF file.
 The \<dot> program is part of \href{http://www.graphviz.org}{Graphviz}.
 
 In the output, conditional basic blocks are represented as octagons with