trying to fix docs

Author: C-Achard

.github/workflows/build_docs.yml

@@ -58,15 +58,15 @@ jobs:
       - uses: ammaraskar/sphinx-problem-matcher@master
       - name: Build Sphinx docs
         run: |
-          make dirhtml
+          make html
           # This fixes broken copy button icons, as explained in
           #   https://github.com/coderefinery/sphinx-lesson/issues/50
           #   https://github.com/executablebooks/sphinx-copybutton/issues/110
           # This can be removed once these PRs are accepted (but the
           # fixes also need to propagate to other themes):
           #   https://github.com/sphinx-doc/sphinx/pull/8524
           #   https://github.com/readthedocs/sphinx_rtd_theme/pull/1025
-          sed -i 's/url_root="#"/url_root=""/' _build/dirhtml/index.html || true
+          # sed -i 's/url_root="#"/url_root=""/' _build/dirhtml/index.html || true
       # The following supports building all branches and combining on
       # gh-pages