Document getsize(), getmtime(), getatime().
diff --git a/Doc/lib/libposixpath.tex b/Doc/lib/libposixpath.tex
index 6373458..8ad2d95 100644
--- a/Doc/lib/libposixpath.tex
+++ b/Doc/lib/libposixpath.tex
@@ -50,6 +50,25 @@
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}