From 612c09dc94e0e69415108fc17fcf30d90dca0625 Mon Sep 17 00:00:00 2001
From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Thu, 16 Jan 2020 09:57:22 +0100
Subject: [PATCH] doc/conf: remove some rtd_theme options
These options are not essential and they are only supported with newer
versions of the theme, which are unavailable in older distributions.
---
doc/conf.py | 2 --
1 file changed, 2 deletions(-)
diff --git a/doc/conf.py b/doc/conf.py
index 44861cfa0..bf74c1aa3 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -61,8 +61,6 @@ html_theme_options = {
# Toc options
'collapse_navigation': False,
'sticky_navigation': True,
- 'navigation_depth': 3,
- 'includehidden': False,
}
html_logo = '_static/logo-negativ.svg'
--
GitLab