diff --git a/.github/workflows/deploy-javadoc.yml b/.github/workflows/deploy-javadoc.yml index 68a7805..e74a554 100644 --- a/.github/workflows/deploy-javadoc.yml +++ b/.github/workflows/deploy-javadoc.yml @@ -61,7 +61,7 @@ jobs: -o javadoc.jar unzip javadoc.jar -d "$dist/" - if [[ ! -d "$dist/index.html" ]]; then + if [[ ! -f "$dist/index.html" ]]; then rm -fr "$dist" fi @@ -114,4 +114,4 @@ jobs: else git push origin gh-pages fi - fi \ No newline at end of file + fi