bug-guile
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#29310: [PATCH 1/1] Convert `close' ref to xref.


From: Arun Isaac
Subject: bug#29310: [PATCH 1/1] Convert `close' ref to xref.
Date: Thu, 16 Nov 2017 03:43:12 +0530

* doc/ref/api-io.texi (Ports): Convert `close' ref to xref.
---
 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.
address@hidden, for more on buffered output.  See also @ref{Ports and
-File Descriptors, close}, for a procedure which can close file
-descriptors.
address@hidden, 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
-- 
2.14.2






reply via email to

[Prev in Thread] Current Thread [Next in Thread]