Add Glossary and Table of Contents to links header in docs

This commit is contained in:
Seth House 2014-02-26 18:57:23 -07:00
parent a34fe6eeb3
commit bbb6893877

View File

@ -2,6 +2,11 @@
<!DOCTYPE html>
{%- endblock %}
{% set xxx = rellinks.extend([
('glossary', 'Glossary', 'g', 'Glossary'),
('contents', 'Table of Contents', 't', 'Table of Contents'),
]) %}
{%- set reldelim1 = reldelim1 is not defined and ' &raquo;' or reldelim1 %}
{%- set reldelim2 = reldelim2 is not defined and ' |' or reldelim2 %}
{%- set render_sidebar = (not embedded) and (not theme_nosidebar|tobool) and (sidebars != []) %}