Merge pull request open-mpi#11848 from jsquyres/pr/rtd-update

docs: update readthedocs.org config
wenduwan · Aug 7, 2023 · 8514e71 · 8514e71
2 parents 385c791 + 5691d80
commit 8514e71
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -13,6 +13,10 @@ build:
   tools:
     python: "3.10"
 
+python:
+  install:
+    - requirements: docs/requirements.txt
+
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
   configuration: docs/conf.py