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