diff --git a/doc/developer/.readthedocs.yaml b/doc/developer/.readthedocs.yaml index 113672fadb..603a7a3e06 100644 --- a/doc/developer/.readthedocs.yaml +++ b/doc/developer/.readthedocs.yaml @@ -7,6 +7,10 @@ build: tools: python: "3.11" +python: + install: + - requirements: requirements.txt + # Build documentation in the docs/ directory with Sphinx sphinx: configuration: doc/developer/conf.py diff --git a/doc/developer/requirements.txt b/doc/developer/requirements.txt new file mode 100644 index 0000000000..483a4e9600 --- /dev/null +++ b/doc/developer/requirements.txt @@ -0,0 +1 @@ +sphinx_rtd_theme diff --git a/doc/user/.readthedocs.yaml b/doc/user/.readthedocs.yaml index c5a11dab17..affe75e14c 100644 --- a/doc/user/.readthedocs.yaml +++ b/doc/user/.readthedocs.yaml @@ -7,6 +7,9 @@ build: tools: python: "3.11" +python: + install: + - requirements: requirements.txt # Build documentation in the docs/ directory with Sphinx sphinx: configuration: doc/user/conf.py diff --git a/doc/user/requirements.txt b/doc/user/requirements.txt new file mode 100644 index 0000000000..483a4e9600 --- /dev/null +++ b/doc/user/requirements.txt @@ -0,0 +1 @@ +sphinx_rtd_theme