Add option to layout.html

This commit is contained in:
Aaron Carlisle 2017-11-22 11:31:48 -05:00 committed by GitHub
parent 3018c7bb9b
commit d493463d88
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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 }}