From c6c312f9809f69d32c40e27b683e42fe735d7ca6 Mon Sep 17 00:00:00 2001
From: Ariel Rokem <arokem@gmail.com>
Date: Thu, 31 Oct 2024 11:12:47 -0700
Subject: [PATCH] There is no docs folder.

---
 .github/workflows/deploy.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index a59f524..e676078 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -29,13 +29,12 @@ jobs:
         python -m pip install -r requirements.txt
     - name: Build site
       run: |
-        cd docs
         make html
-    - name: Upload docs
+    - name: Upload site
       uses: actions/upload-artifact@v4
       with:
-        name: docs
-        path: docs/build/html
+        name: site
+        path: build/html
     - name: Publish docs to Github Pages
       if: startsWith(github.event.ref, 'refs/tags')
       uses: JamesIves/github-pages-deploy-action@releases/v4