From ebd8baf61ff8e00f8de3b63c00531765672000c8 Mon Sep 17 00:00:00 2001 From: Patrick Cloke Date: Tue, 21 Sep 2021 12:32:46 -0400 Subject: Clear our destination directories before copying files to GitHub pages. (#10869) This should fix stale deleted files being still accessible. --- changelog.d/10869.doc | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/10869.doc (limited to 'changelog.d/10869.doc') 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. -- cgit 1.4.1