Attempt to fix the read-the-docs build

Seems like RTD by default installs a very old version of their theme, which depends on an old version of Jinja2 for the HTML template. However, Pynguin relies on the latest version of Jinja2 for its HTML coverage report. This causes the installation of the latest Jinja2 version but an old RDT theme version when building the documentation on RTD. By now pinning the RTD theme version to its latest and setting it as the default theme, we attempt to mitigate the issue and make the build work again.
se2p · Aug 31, 2023 · c543c44 · c543c44
1 parent cc08325
commit c543c44
Show file tree

Hide file tree

Showing 3 changed files with 95 additions and 66 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -28,6 +28,7 @@
 project = "pynguin"
 author = "Pynguin Contributors"
 copyright = f"2019–{datetime.datetime.utcnow().year}, {author}"
+html_theme = "sphinx_rtd_theme"
 
 _d = {}
 with open(