Explain what os.read() returns at end of file.

This closes SF bug #550409.

diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index 18f809c6fcc80300a7ce2a82e221259adc972e29..451106790e565a77f39a1b394fc12aea05598994 100644 (file)
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -470,7 +470,9 @@ Availability: \UNIX, Windows.
 
 \begin{funcdesc}{read}{fd, n}
 Read at most \var{n} bytes from file descriptor \var{fd}.
-Return a string containing the bytes read.
+Return a string containing the bytes read.  If the end of the file
+referred to by \var{fd} has been reached, an empty string is
+returned.
 Availability: Macintosh, \UNIX, Windows.
 
 Note: this function is intended for low-level I/O and must be applied