add makefile to docs

ecmwf · Jul 29, 2024 · c4c7e97 · c4c7e97
1 parent af37028
commit c4c7e97
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -140,7 +140,8 @@ jobs:
           files: coverage.xml
       - name: Documentation
         run: |
-          make doc
+          python -m pip install -r docs/requirements.txt
+          mkdocs build --clean
         working-directory: docs
   deploy:
     needs: test