Fix documentation build.

rhpvorderman · rhpvorderman · commit 54f8595c8823 · 2025-05-27T17:05:26.000+02:00
diff --git a/docs/conf.py b/docs/conf.py
@@ -42,9 +42,6 @@
 # a list of builtin themes.
 #
 html_theme = 'sphinx_rtd_theme'
-html_theme_options = dict(
-    display_version=True,
-)
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
diff --git a/requirements-docs.txt b/requirements-docs.txt
@@ -1,4 +1,4 @@
-sphinx
-setuptools
+# https://github.com/sphinx-doc/sphinx/issues/13415
+sphinx<8
 sphinx-rtd-theme
 sphinx-argparse

Original file line number	Diff line number	Diff line change
`@@ -42,9 +42,6 @@`
`42`	`42`	`# a list of builtin themes.`
`43`	`43`	`#`
`44`	`44`	`html_theme = 'sphinx_rtd_theme'`
`45`		`-html_theme_options = dict(`
`46`		`- display_version=True,`
`47`		`-)`
`48`	`45`
`49`	`46`	`# Add any paths that contain custom static files (such as style sheets) here,`
`50`	`47`	`# relative to this directory. They are copied after the builtin static files,`