Document xreadlines() method. (Forgot to check this in before!)

diff --git a/Doc/lib/libstdtypes.tex b/Doc/lib/libstdtypes.tex
index 6b3683af719318639e12b0097a96e088bd0ecebb..7d65806d2686cdd9e10cdfa9d4a7ab72cca26304 100644 (file)
--- a/Doc/lib/libstdtypes.tex
+++ b/Doc/lib/libstdtypes.tex
@@ -1112,6 +1112,10 @@ Files have the following methods:
   implemented, or cannot be implemented efficiently.
 \end{methoddesc}
 
+\begin{methoddesc}[file]{xreadlines}{}
+  Equivalent to \function{xreadlines.xreadlines(file)}.\refstmodindex{xreadlines}
+\end{methoddesc}
+
 \begin{methoddesc}[file]{seek}{offset\optional{, whence}}
   Set the file's current position, like \code{stdio}'s \cfunction{fseek()}.
   The \var{whence} argument is optional and defaults to \code{0}