Tweak doc output path.

jtv · Mar 30, 2024 · a8772e0 · a8772e0
1 parent b7cdeb9
commit a8772e0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -15,8 +15,7 @@ build:
 
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
-  # builder: html
-  builder: dirhtml
+  builder: html
   configuration: doc/conf.py
   fail_on_warning: true
 

diff --git a/doc/conf.py b/doc/conf.py
@@ -132,7 +132,9 @@ def read_version():
 # has readthedocs copy the full generated HTML tree to the output directory.
 #
 # Problem is, that doesn't seem to be working now.  This needs debugging.
-html_extra_path = [str(Path(__file__).parent.absolute() / "html")]
+html_extra_path = [
+    str(Path(os.environ.get("READTHEDOCS_OUTPUT", '.')) / "html")
+]
 
 # -- Options for HTMLHelp output ------------------------------------------