Try to fix theme config issue

EPCCed · Oct 23, 2023 · 8fc178c · 8fc178c
1 parent 1bd8885
commit 8fc178c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/conf.py b/conf.py
@@ -30,6 +30,7 @@
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 extensions = [
+    'sphinx_rtd_theme',
     'sphinx.ext.todo',
     'sphinx.ext.coverage',
     'sphinx.ext.mathjax',