next up previous contents
Next: Token ERR= of cast Up: Category IO (optional) Previous: Token ERRTOL= of cast

Token OUTPUT= of cast character (optional)

A file name to which standard out is routed. OUTPUT=* means standard out.



O. Jepsen
Thu Oct 12 14:48:45 MESZ 2000