1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
From: =?utf-8?q?=C3=89tienne_Mollier?= <emollier@debian.org>
Date: Sun, 31 Dec 2023 21:59:32 +0100
Subject: switch to default sphinx theme.
Forwarded: not-needed
Last-Update: 2023-12-31
This avoids using the currently unavailable grg_sphinx_theme.
Last-Update: 2023-12-31
doc/conf.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
@@ -152,7 +152,7 @@
# The theme to use for HTML and HTML Help pages. Major themes that come with
# Sphinx are currently 'default' and 'sphinxdoc'.
-html_theme = "grg_sphinx_theme"
+html_theme = "default"
# The style sheet to use for HTML and HTML Help pages. A file of that name
# must exist either in Sphinx' static/ path, or in one of the custom paths
|