Revise the description of time.clock() so that it correctly describes the

Windows version of the function as well as the Unix flavor.

This fixes SF bug #441357.

diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index 82953dbf27fe0f9ae8db884cf169680a239001a5..6823d5f80c92e9e78639e0964c299c7845c1cc40 100644 (file)
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -126,12 +126,18 @@ the C function of the same name, there is no trailing newline.
 \end{funcdesc}
 
 \begin{funcdesc}{clock}{}
-Return the current processor time as a floating point number expressed in
+On \UNIX, return
+the current processor time as a floating point number expressed in
 seconds.  The precision, and in fact the very definition of the meaning
-of ``processor time''\index{CPU time}\index{processor time}, depends on
-that of the C function of the same name, but in any case, this is the
-function to use for benchmarking\index{benchmarking} Python or timing
-algorithms.
+of ``processor time''\index{CPU time}\index{processor time}, depends
+on that of the C function of the same name, but in any case, this is
+the function to use for benchmarking\index{benchmarking} Python or
+timing algorithms.
+
+On Windows, this function returns the nearest approximation to
+wall-clock time since the first call to this function, based on the
+Win32 function \cfunction{QueryPerformanceCounter()}.  The resolution
+is typically better than one microsecond.
 \end{funcdesc}
 
 \begin{funcdesc}{ctime}{\optional{secs}}