diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2017-11-16 03:43:12 +0530 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-22 16:15:04 +0100 |
| commit | c2817dc93bdc6e1b459047f015bd2f3cfeed9938 (patch) | |
| tree | 2ab12222ee0ccaad89ee174895c9023bd43c1960 | |
| parent | 83d4c4d622b406ec0bc9d8139ec8182fa72b5720 (diff) | |
Convert `close' ref to xref.
* doc/ref/api-io.texi (Ports): Convert `close' ref to xref.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | doc/ref/api-io.texi | 5 |
1 files 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 |