RTD

mar10 · Nov 13, 2021 · 393ab82 · 393ab82
1 parent 6c3b687
commit 393ab82
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -9,7 +9,8 @@ version: 2
 build:
   os: ubuntu-20.04
   tools:
-    python: "3.9"
+    python: "3.8"
+   #  python: "3.9"  # 2021-11-13: problem with recommark?
 
 # Build documentation in the docs/ directory with Sphinx
 sphinx:

diff --git a/tox.ini b/tox.ini
@@ -135,6 +135,7 @@ deps =
     sphinx
     recommonmark
     sphinx_rtd_theme
+    readthedocs-sphinx-search
 commands =
     # http://www.sphinx-doc.org/en/master/man/sphinx-build.html
     sphinx-build -b html sphinx sphinx-build