diff --git a/doc/conf.py b/doc/conf.py index 7b370cd42..afe36a454 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -136,6 +136,7 @@ def setup(app): "sphinxcontrib.plantuml", "sphinx_rtd_theme", # needed here for loading jquery in sphinx 6 "sphinxcontrib.jquery", # see https://github.com/readthedocs/sphinx_rtd_theme/issues/1452 + "sphinx_needs", ] # Our API should make sense without documenting private/special members.