Next:
Category DIM
Up:
Category IO (optional)
Previous:
Token OUTPUT= of cast
Token ERR= of cast character (optional)
A file name to which standard error is routed. ERR=* means standard error.
O. Jepsen
Thu Oct 12 14:48:45 MESZ 2000
