Remove sphinx deprecated Makefile

RBniCS · Nov 25, 2023 · 1a07b62 · 1a07b62
1 parent 25a08c3
commit 1a07b62
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 13 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -99,7 +99,7 @@ jobs:
       - name: Run documentation generation
         if: startsWith(matrix.backend, 'none') != true
         run: |
-          cd docs && make html
+          cd docs && python3 -m sphinx -W -b html . build/html
       - name: Remove source directory to ensure that package from installation directory is used
         run: |
           rm -rf rbnicsx

diff --git a/docs/Makefile b/docs/Makefile