--- a/doc-src/Nitpick/nitpick.tex Tue Feb 02 23:38:41 2010 +0100
+++ b/doc-src/Nitpick/nitpick.tex Thu Feb 04 13:36:52 2010 +0100
@@ -1888,7 +1888,9 @@
Specifies whether Nitpick should put its temporary files in
\texttt{\$ISABELLE\_\allowbreak HOME\_\allowbreak USER}, which is useful for
debugging Nitpick but also unsafe if several instances of the tool are run
-simultaneously.
+simultaneously. The files are identified by the extensions
+\texttt{.kki}, \texttt{.cnf}, \texttt{.out}, and
+\texttt{.err}; you may safely remove them after Nitpick has run.
\nopagebreak
{\small See also \textit{debug} (\S\ref{output-format}).}