document Stats.dump_stats(), new for Python 2.3

diff --git a/Doc/lib/libprofile.tex b/Doc/lib/libprofile.tex
index 7adb2b8de5d1ed7515b1015cb40ea2f8a92ce470..4a710824f2e32111054bd36e67d89cc44bbfa04a 100644 (file)
--- a/Doc/lib/libprofile.tex
+++ b/Doc/lib/libprofile.tex
@@ -392,6 +392,14 @@ version of \function{profile.run()}.  Statistics for identically named
 single function statistics.
 \end{methoddesc}
 
+\begin{methoddesc}[Stats]{dump_stats}{filename}
+Save the data loaded into the \class{Stats} object to a file named
+\var{filename}.  The file is created if it does not exist, and is
+overwritten if it already exists.  This is equivalent to the method of
+the same name on the \class{profile.Profile} class.
+\versionadded{2.3}
+\end{methoddesc}
+
 \begin{methoddesc}[Stats]{sort_stats}{key\optional{, ...}}
 This method modifies the \class{Stats} object by sorting it according
 to the supplied criteria.  The argument is typically a string