FromNames:
PROCEDURE [in:
IO.
STREAM, nameList:
LIST
OF Rope.
ROPE, out:
IO.
STREAM]
RETURNS [result:
REF ←
NIL, msg: Rope.
ROPE ←
NIL];
takes a list of names (in addition to input and output streams), and copies each of the named files to the output stream. If no file names are given, or if "-" is used as a file name, the given input stream is used as the stream.
}.