From e71fa267120342348e58478e14863e2604c88d9e Mon Sep 17 00:00:00 2001
From: George Gastaldi <gegastaldi@gmail.com>
Date: Fri, 17 Mar 2023 10:06:13 -0300
Subject: [PATCH] Check if directory exists in `sync-web-site.sh`

- This should fix the sync issues with quarkusio.github.io
---
 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 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