@c "options/option-h.texi"
@c extracted from "../../src/main/chpsim.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -h
Help.  Print list of all interpreter commands and exit.  
@end defopt

