From 132047d6400608194e6a42f3cede0c5bbde6bf4b Mon Sep 17 00:00:00 2001 From: Guillaume Smet Date: Tue, 18 Oct 2022 15:10:11 +0200 Subject: [PATCH] Sync the whole doc directory Hopefully, it will make --delete effective and will clean up deleted guides. (cherry picked from commit 27d19aa007430f745496d07dfaa2cacdcceda074) --- docs/sync-web-site.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sync-web-site.sh b/docs/sync-web-site.sh index 94690c129d300..bb63550351317 100755 --- a/docs/sync-web-site.sh +++ b/docs/sync-web-site.sh @@ -50,7 +50,7 @@ rsync -vr --delete \ --exclude='**/_attributes-local.adoc' \ --exclude='**/guides.md' \ --exclude='**/_templates' \ - target/asciidoc/sources/* \ + target/asciidoc/sources/ \ $TARGET_GUIDES echo "\nCopying from ../target/asciidoc/generated/ to $TARGET_CONFIG"