@c "cmd/echo.texi"
@c extracted from "../../src/sim/chpsim/Command.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Command echo output
Print @var{output} to stdout.  
@b{Note:} multiple spaces in @var{output} are compacted into 
single spaces by the interpreter's tokenizer.  
@end deffn

