~ chicken-core (chicken-5) 2063347a83141d977f7ae503aa92ffe75f8c036c

commit 2063347a83141d977f7ae503aa92ffe75f8c036c
Author:     Peter Bex <peter.bex@xs4all.nl>
AuthorDate: Mon Sep 30 21:32:47 2013 +0200
Commit:     Peter Bex <peter.bex@xs4all.nl>
CommitDate: Mon Sep 30 21:32:47 2013 +0200

    Forgot final sentence about read-line

diff --git a/manual/Unit ports b/manual/Unit ports
index b89b7349..4c6521c9 100644
--- a/manual/Unit ports	
+++ b/manual/Unit ports	
@@ -48,7 +48,9 @@ be less.  If this procedure is not provided or {{#f}}, the buffer will
 be filled by repeated reads to {{READ-CHAR}}.
 * {{READ-LINE}} is called when {{read-line}} is called.  It will be
 invoked with two arguments: the port created by {{make-input-port}}
-and the maximum number of characters to read (or {{#f}}).
+and the maximum number of characters to read (or {{#f}}).  If this
+procedure is not provided or {{#f}}, the buffer will be filled by
+repeated reads to {{READ-CHAR}}.
 
 All the optional procedures except for {{PEEK-CHAR}} are responsible
 for updating the port's position, which currently can only be done via