Sigh

.github/workflows/ci.yaml

@@ -209,16 +209,14 @@ jobs:
     name: Publish Docs
     needs: [doc-book]
     runs-on: ubuntu-22.04
-    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    #if: github.event_name == 'push' && github.ref == 'refs/heads/main'
     steps:
       - uses: actions/checkout@v4
       - name: Download book
         uses: actions/download-artifact@v4
         with:
           name: doc-book
-      - name: Assemble gh-pages
-        run: |
-          mv doc-book gh-pages
+          path: gh-pages
       # If this is a push to the main branch push to the `gh-pages` using a
       # deploy key. Note that a deploy key is necessary for now because otherwise
       # using the default token for github actions doesn't actually trigger a page