fix sphinx build command

JakobEliasWagner · Nov 2, 2023 · ed222f6 · ed222f6
1 parent 4f8446b
commit ed222f6
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -69,9 +69,7 @@ jobs:
       - name: build website for detailed coverage
         run: |
           pip install sphinx
-          cd doc
-          make html
-          cd ..
+          sphinx-build -M html doc/source doc/build
       - name: deploy website
         uses: JamesIves/github-pages-deploy-action@v4
         with: