summaryrefslogtreecommitdiff
path: root/doc/_templates/localtoc.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/_templates/localtoc.html')
-rw-r--r--doc/_templates/localtoc.html14
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 %}