CI #267 since the root-level Makefile is gone now

bluesky · Oct 19, 2023 · fbf3444 · fbf3444
1 parent 76f00e4
commit fbf3444
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
@@ -67,7 +67,7 @@ jobs:
     - name: Build Docs
       shell: bash -l {0}
       run: |
-        make
+        make -C docs clean html
 
     # comment here for development use
     - name: Deploy documentation to blueskyproject.io.