]> gitweb.factorcode.org Git - factor.git/commitdiff
io: fix stream-copy docs.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Jan 2017 04:40:29 +0000 (20:40 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 25 Jan 2017 04:40:29 +0000 (20:40 -0800)
core/io/io-docs.factor

index a8fd0016d5599ae74c9470903b46104c82ae3c8c..c9cb248925ee652a03d827c927c07051b1454cd2 100644 (file)
@@ -486,8 +486,10 @@ $nl
     each-block
 }
 "Copying the contents of one stream to another:"
-{ $subsections stream-copy* }
-{ $subsections stream-copy } ;
+{ $subsections
+    stream-copy*
+    stream-copy
+} ;
 
 ARTICLE: "stream-examples" "Stream example"
 "Ask the user for their age, and print it back:"