move to docs

paquiteau · Oct 5, 2023 · e0c7abe · e0c7abe
1 parent 673b199
commit e0c7abe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -33,7 +33,8 @@ jobs:
     # Build the book
     - name: Build the book
       run: |
-        ./docs/build_docs.sh
+        cd docs
+        ./build_docs.sh
 
     # Push the book's HTML to github-pages
     - name: GitHub Pages action