From ce899c93d9ed60e004817b3ac485139d4ea0080b Mon Sep 17 00:00:00 2001
From: David Wosnitza <david@druul.in>
Date: Sun, 14 Dec 2014 07:25:01 +0100
Subject: rebuild and optimized toctrees

Signed-off-by: David Wosnitza <david@druul.in>
---
 user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/layout.html')

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 %}
-- 
cgit v1.2.3-24-g4f1b