Next: ERASE, Previous: DROP DOCUMENTS, Up: Utilities [Contents][Index]
ECHO ’arbitrary text’ .
Use ECHO to write arbitrary text to the output stream. The text should be enclosed in quotation marks following the normal rules for string tokens (see Tokens).
ECHO