automation: fix workflows for new documentation structure

dylan-lang · May 16, 2024 · d21d018 · d21d018
1 parent 7667a8e
commit d21d018
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/build-deploy-documentation.yml b/.github/workflows/build-deploy-documentation.yml
@@ -31,12 +31,12 @@ jobs:
 
       - uses: ammaraskar/sphinx-action@master
         with:
-          pre-build-command: "echo furo >> documentation/website/requirements.txt"
-          docs-folder: "documentation/website"
+          pre-build-command: "echo furo >> documentation/requirements.txt"
+          docs-folder: "documentation"
 
       - name: Deploy documents to GH pages
         uses: JamesIves/github-pages-deploy-action@v4
         with:
-          folder: documentation/website/build/html
+          folder: documentation/_build/html
 
 
diff --git a/.github/workflows/build-documentation.yml b/.github/workflows/build-documentation.yml
@@ -31,6 +31,6 @@ jobs:
 
       - uses: ammaraskar/sphinx-action@master
         with:
-          pre-build-command: "echo furo >> documentation/website/requirements.txt"
-          docs-folder: "documentation/website"
+          pre-build-command: "echo furo >> documentation/requirements.txt"
+          docs-folder: "documentation"