diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 8b138eef6..52cb58796 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -71,7 +71,7 @@ jobs:
       - name: Check out doc site
         uses: actions/checkout@v4
         with:
-          repository: lenskit/lenskit-docs
+          repository: git@github.com:lenskit/lenskit-docs.git
           ssh-key: ${{steps.decrypt.output.decrypt-identity}}
           path: doc-site
           ref: latest
@@ -82,7 +82,8 @@ jobs:
           path: build/doc
       - name: 🛻 Copy documentation content
         run: |
-          rsync -av --delete --exclude=.git/ build/doc/ doc-site/
+          rsync -av --delete --exclude=.git/ --exclude=.buildinfo --exclude=.doctrees \
+              build/doc/ doc-site/
           cd doc-site
           git config user.name "LensKit Doc Bot"
           git config user.email "docbot@lenskit.org"
diff --git a/lkdev/workflows/docs.py b/lkdev/workflows/docs.py
index 885da3507..f02e18985 100644
--- a/lkdev/workflows/docs.py
+++ b/lkdev/workflows/docs.py
@@ -119,7 +119,7 @@ def job_publish_docs():
                 "name": "Check out doc site",
                 "uses": "actions/checkout@v4",
                 "with": {
-                    "repository": "lenskit/lenskit-docs",
+                    "repository": "git@github.com:lenskit/lenskit-docs.git",
                     "ssh-key": "${{steps.decrypt.output.decrypt-identity}}",
                     "path": "doc-site",
                     "ref": "latest",
@@ -136,7 +136,8 @@ def job_publish_docs():
             {
                 "name": "🛻 Copy documentation content",
                 "run": script("""
-                    rsync -av --delete --exclude=.git/ build/doc/ doc-site/
+                    rsync -av --delete --exclude=.git/ --exclude=.buildinfo --exclude=.doctrees \\
+                        build/doc/ doc-site/
                     cd doc-site
                     git config user.name "LensKit Doc Bot"
                     git config user.email "docbot@lenskit.org"