diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 808f82533..2bf32e376 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 000000000..c11738607 --- /dev/null +++ b/changelog.d/10869.doc @@ -0,0 +1 @@ +Properly remove deleted files from GitHub pages when generating the documentation.