cancel the execution of the current script file. This is a ignored when
used on the interactive command line.</p></optdesc>
</option>
-
- <option>
- <p><opt>.verbose</opt> and <opt>.noverbose</opt></p>
- <optdesc><p>Enable (resp. disable) extra verbosity.</p></optdesc>
- </option>
</section>
<section name="Authors">