div class="macro-list-container">
<h3 id="index-covers" class="macro-list">Cover and document cover macros</h3>
<ul class="macro-list">
  <li><a href="#cover">COVER and DOC_COVER</a>
  <ul style="margin-left: -.5em; list-style-type: disc;">
    <li><a href="#required-and-optional-args">Required and optional arguments</a></li>
  </ul></li>
  <li><a href="#on-off">Enabling/disabling automatic generation of cover pages</a>
  <ul style="margin-left: -.5em; list-style-type: disc;">
    <li><a href="#covers">COVE