added strftime

diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index 746e21e5ccaaa3371d8d534be49b288005ce765b..56488d1361d02754d3bd2fc515f0e21a0c1762ca 100644 (file)
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -94,6 +94,13 @@ Suspend execution for the given number of seconds.  The argument may
 be a floating point number to indicate a more precise sleep time.
 \end{funcdesc}
 
+\begin{funcdesc}{strftime}{format, tuple}
+Convert a tuple representing a time as returned by \code{gmtime()} or
+\code{localtime()} to a string as specified by the format argument.
+See the \code{strftime(3)} man page for details of the syntax of
+format strings.
+\end{funcdesc}
+
 \begin{funcdesc}{time}{}
 Return the time as a floating point number expressed in seconds since
 the epoch, in UTC.  Note that even though the time is always returned

diff --git a/Doc/libtime.tex b/Doc/libtime.tex
index 746e21e5ccaaa3371d8d534be49b288005ce765b..56488d1361d02754d3bd2fc515f0e21a0c1762ca 100644 (file)
--- a/Doc/libtime.tex
+++ b/Doc/libtime.tex
@@ -94,6 +94,13 @@ Suspend execution for the given number of seconds.  The argument may
 be a floating point number to indicate a more precise sleep time.
 \end{funcdesc}
 
+\begin{funcdesc}{strftime}{format, tuple}
+Convert a tuple representing a time as returned by \code{gmtime()} or
+\code{localtime()} to a string as specified by the format argument.
+See the \code{strftime(3)} man page for details of the syntax of
+format strings.
+\end{funcdesc}
+
 \begin{funcdesc}{time}{}
 Return the time as a floating point number expressed in seconds since
 the epoch, in UTC.  Note that even though the time is always returned