diff --git a/docs/sync-web-site.sh b/docs/sync-web-site.sh index 82b13ca168c4b..3e323cd748ec0 100755 --- a/docs/sync-web-site.sh +++ b/docs/sync-web-site.sh @@ -99,7 +99,7 @@ rsync -vr --delete \ target/asciidoc/sources/ \ $TARGET_GUIDES -if [ -f ../target/asciidoc/generated/ ]; then +if [ -d ../target/asciidoc/generated/ ]; then echo echo "Copying from ../target/asciidoc/generated/ to $TARGET_CONFIG" echo