Merge pull request quarkusio#31943 from gastaldi/docs_fix

Check if directory exists in `sync-web-site.sh`
Sgitario · Mar 17, 2023 · d08d31f · d08d31f
2 parents e104e83 + e71fa26
commit d08d31f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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