docs/tools/templates/localtoc.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{%- if pagename.startswith('manual/') -%}
  <h3>Table of contents</a></h3>
    <ul><li><a href="index.html">Manual</a></li>
    {%- if display_toc -%}
      {{ toc }}
    {%- endif %}
    </ul>
{%- elif pagename.startswith('reference/') -%}
  <h3>Table of contents</a></h3>
    <ul><li><a href="index.html">Reference</a></li>
    {%- if display_toc -%}
      {{ toc }}
    {%- endif %}
    </ul>
{%- elif display_toc -%}
  <h3>Table of contents</a></h3>
  {{ toc }}
{% endif %}