          The available options are:
        </p>
<div class="variablelist">
<p class="title"><b></b></p>
<dl>
<dt><span class="term">&lt;auto-index&gt;off/on</span></dt>
<dd><p>
                Turns indexing of the document on, defaults to "off", so
                be sure to set this if you want AutoIndex invoked!
              </p></dd>
<dt><span class="term">&lt;auto-index-internal&gt;off/on</span></dt>
<dd><p>
                Chooses whether AutoIndex creates the index itself (feature on),
           