Document getsize(), getmtime(), getatime().

diff --git a/Doc/lib/libposixpath.tex b/Doc/lib/libposixpath.tex
index 6373458f37ab428d28a6d4242a3820d238f6505b..8ad2d95f06ff82aa5f23024790e4a744b8a95bf1 100644 (file)
--- a/Doc/lib/libposixpath.tex
+++ b/Doc/lib/libposixpath.tex
@@ -50,6 +50,25 @@ variable names and references to non-existing variables are left
 unchanged.
 \end{funcdesc}
 
+\begin{funcdesc}{getsize}{filename}
+Return the size, in bytes, of \var{filename}.  Raise
+\exception{os.error} if the file does not exist or is inaccessible.
+\end{funcdesc}
+
+\begin{funcdesc}{getmtime}{filename}
+Return the time of last modification of \var{filename}.  The return
+value is integer giving the number of seconds since the epoch (see the 
+\module{time} module.  Raise \exception{os.error} if the file does not
+exist or is inaccessible.
+\end{funcdesc}
+
+\begin{funcdesc}{getatime}{filename}
+Return the time of last access of \var{filename}.  The return
+value is integer giving the number of seconds since the epoch (see the 
+\module{time} module.  Raise \exception{os.error} if the file does not
+exist or is inaccessible.
+\end{funcdesc}
+
 \begin{funcdesc}{isabs}{p}
 Return true if \var{p} is an absolute pathname (begins with a slash).
 \end{funcdesc}