summaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index 89b246a..47f494f 100644
--- a/conf.py
+++ b/conf.py
@@ -137,6 +137,7 @@ html_theme_options = {
# Set the name of the project to appear in the sidebar
"project_nav_name": "GNU Taler",
"globaltoc_depth": 4,
+ "globaltoc_includehidden": False,
}
# Add any paths that contain custom themes here, relative to this directory.