From c2817dc93bdc6e1b459047f015bd2f3cfeed9938 Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Thu, 16 Nov 2017 03:43:12 +0530 Subject: [PATCH] Convert `close' ref to xref. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/ref/api-io.texi (Ports): Convert `close' ref to xref. Signed-off-by: Ludovic Courtès --- doc/ref/api-io.texi | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/ref/api-io.texi b/doc/ref/api-io.texi index 9bd78d229..24890a12e 100644 --- a/doc/ref/api-io.texi +++ b/doc/ref/api-io.texi @@ -115,9 +115,8 @@ Return @code{#t} if @var{x} is an output port, otherwise return Close the specified port object. Return @code{#t} if it successfully closes a port or @code{#f} if it was already closed. An exception may be raised if an error occurs, for example when flushing buffered output. -@xref{Buffering}, for more on buffered output. See also @ref{Ports and -File Descriptors, close}, for a procedure which can close file -descriptors. +@xref{Buffering}, for more on buffered output. @xref{Ports and File +Descriptors, close}, for a procedure which can close file descriptors. @end deffn @deffn {Scheme Procedure} port-closed? port