From ba9335ec4c3578fdebfbec3072396bcda29d3425 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 13:02:55 +0200
Subject: initial rough import of other docs

---
 conf.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'conf.py')

diff --git a/conf.py b/conf.py
index eacad348..bfc817dc 100644
--- a/conf.py
+++ b/conf.py
@@ -136,6 +136,7 @@ html_sidebars = {
 html_theme_options = {
     # Set the name of the project to appear in the sidebar
     "project_nav_name": "GNU Taler",
+    "globaltoc_depth": 4,
 }
 
 # Add any paths that contain custom themes here, relative to this directory.
-- 
cgit v1.2.3