From d493463d8817fb5cf5a4e6526d12dafefe9d77db Mon Sep 17 00:00:00 2001
From: Aaron Carlisle <carlisle.aaron00@gmail.com>
Date: Wed, 22 Nov 2017 11:31:48 -0500
Subject: [PATCH] Add option to layout.html

---
 sphinx_rtd_theme/layout.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sphinx_rtd_theme/layout.html b/sphinx_rtd_theme/layout.html
index 7ca7aa64..a58f5d60 100644
--- a/sphinx_rtd_theme/layout.html
+++ b/sphinx_rtd_theme/layout.html
@@ -131,7 +131,7 @@
               toctree is empty. Skip building this for now.
             #}
             {% if 'singlehtml' not in builder %}
-              {% set global_toc = toctree(maxdepth=theme_navigation_depth|int, collapse=theme_collapse_navigation, includehidden=True) %}
+              {% set global_toc = toctree(maxdepth=theme_navigation_depth|int, collapse=theme_collapse_navigation, includehidden=theme_includehidden) %}
             {% endif %}
             {% if global_toc %}
               {{ global_toc }}