summary refs log tree commit diff
diff options
context:
space:
mode:
authorPatrick Cloke <clokep@users.noreply.github.com>2021-09-21 12:32:46 -0400
committerGitHub <noreply@github.com>2021-09-21 16:32:46 +0000
commitebd8baf61ff8e00f8de3b63c00531765672000c8 (patch)
tree49069cd2f6bfbc66c23b92c0e200dc2db5aa5c7b
parentRefactor oEmbed previews (#10814) (diff)
downloadsynapse-ebd8baf61ff8e00f8de3b63c00531765672000c8.tar.xz
Clear our destination directories before copying files to GitHub pages. (#10869)
This should fix stale deleted files being still accessible.
-rw-r--r--.github/workflows/docs.yaml1
-rw-r--r--changelog.d/10869.doc1
2 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 808f825331..2bf32e376b 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -61,6 +61,5 @@ jobs:
         uses: peaceiris/actions-gh-pages@068dc23d9710f1ba62e86896f84735d869951305 # v3.8.0
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          keep_files: true
           publish_dir: ./book
           destination_dir: ./${{ steps.vars.outputs.branch-version }}
diff --git a/changelog.d/10869.doc b/changelog.d/10869.doc
new file mode 100644
index 0000000000..c117386072
--- /dev/null
+++ b/changelog.d/10869.doc
@@ -0,0 +1 @@
+Properly remove deleted files from GitHub pages when generating the documentation.