"#arg-tool-options"></a></dt>
<dd><p>list</p></dd>


<dt id="arg-description">description<a class="anchor" aria-label="anchor" href="#arg-description"></a></dt>
<dd><p>the description text for the tool that has been scraped
from the help documentation</p></dd>


<dt id="arg-html-file">html_file<a class="anchor" aria-label="anchor" href="#arg-html-file"></a></dt>
<dd><p>the name of the html file for the tool's documentation.
Stored to help linking with online documentation.</p></dd>

</dl></div>
    <div id=