fix doc build hooks

lenskit · Jul 2, 2024 · 0e89f52 · 0e89f52
1 parent c85d503
commit 0e89f52
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git 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: [email protected]: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 "[email protected]"

diff --git 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": "[email protected]: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 "[email protected]"