Next: , Previous: DROP DOCUMENTS, Up: Utilities


16.9 ECHO

     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).