trying to fix docs

Author: C-Achard

.github/workflows/build_docs.yml

@@ -9,15 +9,22 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v1
-    # Standard drop-in approach that should work for most people.
-    - uses: ammaraskar/sphinx-action@master
-      with:
-        pre-build-command: "pip install -r dev.requirements.txt"
-        docs-folder: "docs/"
+      - uses: actions/checkout@v2
 
-    - name: GitHub Pages action
-      uses: peaceiris/[email protected]
-      with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: ./_build/html
+          - name: Set up Python 3.8
+            uses: actions/setup-python@v2
+            with:
+              python-version: 3.8
+
+          - name: Install dependencies
+            run: |
+              python -m pip install --upgrade pip
+              python -m pip install -r dev.requirements.txt
+          - name: Build the book
+            run: |
+              make html docs/
+          - name: GitHub Pages action
+            uses: peaceiris/[email protected]
+            with:
+              github_token: ${{ secrets.GITHUB_TOKEN }}
+              publish_dir: ./_build/html