1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
From: Debian Python Team <team+python@tracker.debian.org>
Date: Sun, 10 Jan 2021 12:04:55 +0100
Subject: 0000-Switch-to-sphinx-rtd-theme
.
Because sphinx_material is not available in Debian
---
docs/conf.py | 4 +++-
setup.cfg | 2 +-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/docs/conf.py b/docs/conf.py
index 71b8c02..4dd892a 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -10,6 +10,7 @@
#
import os
import sys
+import sphinx_rtd_theme
from importlib import metadata
sys.path.insert(0, os.path.abspath(".."))
@@ -60,7 +61,8 @@ html_static_path = ["_static"]
# Required theme setup
# extensions.append("sphinx_material")
-html_theme = "furo"
+html_theme = "sphinx_rtd_theme"
+html_theme_path = sphinx_rtd_theme.get_html_theme_path()
html_favicon = "_static/favicon.png"
html_theme_options = {
"sidebar_hide_name": True,
diff --git a/setup.cfg b/setup.cfg
index db1af50..46cb47e 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -50,7 +50,7 @@ cli =
jinja2>=2.10
toposort>=1.5
docs =
- furo
+ sphinx-rtd-theme
sphinx
sphinx-autobuild
sphinx-autodoc-typehints
|
