diff options
Diffstat (limited to 'doc/_templates/localtoc.html')
-rw-r--r-- | doc/_templates/localtoc.html | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/_templates/localtoc.html b/doc/_templates/localtoc.html new file mode 100644 index 0000000000000..14fdb12a53cc6 --- /dev/null +++ b/doc/_templates/localtoc.html @@ -0,0 +1,14 @@ +{# + basic/localtoc.html + ~~~~~~~~~~~~~~~~~~~ + + Sphinx sidebar template: local table of contents. + + :copyright: Copyright 2007-2017 by the Sphinx team, see AUTHORS. + :license: BSD, see LICENSE for details. +#} +{%- if display_toc %} + <h3><a href="{{ pathto(master_doc) }}">{{ _('On This Page') }}</a></h3> + {{ toc }} + <h3><a href="{{ pathto(master_doc) }}">{{ _('Full Documentation') }}</a></h3> +{%- endif %} |