summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes
diff options
context:
space:
mode:
authorDavid Wosnitza <david@druul.in>2014-12-14 07:25:01 +0100
committerDavid Wosnitza <david@druul.in>2014-12-14 07:25:01 +0100
commitce899c93d9ed60e004817b3ac485139d4ea0080b (patch)
tree54c3212bb7571cbaa3ec3096a564645e615eb827 /user_guide_src/source/_themes
parent593be2ceca9fc7c324dc87fbba6b4dd2b0e05867 (diff)
rebuild and optimized toctrees
Signed-off-by: David Wosnitza <david@druul.in>
Diffstat (limited to 'user_guide_src/source/_themes')
-rw-r--r--user_guide_src/source/_themes/sphinx_rtd_theme/layout.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html
index 5f9ef21e2..1203b2f34 100644
--- a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html
+++ b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html
@@ -90,7 +90,7 @@
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
{% block menu %}
- {% set toctree = toctree(maxdepth=2, collapse=False, includehidden=True) %}
+ {% set toctree = toctree(maxdepth=2, collapse=False, includehidden=False) %}
{% if toctree %}
{{ toctree }}
{% else %}