From 980f1236cf7873f8ef19e284b408bda68ae3d194 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 14 Aug 2012 15:12:19 -0700
Subject: [PATCH] io: improve docs for stream-copy*.

---
 core/io/io-docs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/io/io-docs.factor b/core/io/io-docs.factor
index 5d0f0018fa..bfa16e4ed7 100644
--- a/core/io/io-docs.factor
+++ b/core/io/io-docs.factor
@@ -123,7 +123,7 @@ $io-error ;
 
 HELP: stream-copy*
 { $values { "in" "an input stream" } { "out" "an output stream" } }
-{ $description "Copies the contents of one stream into another. The streams are left open when the copy is completed." { $link stream-copy } " will copy the streams and close them on completion." }
+{ $description "Copies the contents of one stream into another. The streams are left open when the copy is completed. The " { $link stream-copy } " word can be used instead to close them on completion, if desired." }
 $io-error ;
 
 HELP: stream-copy