diff --git a/util/generate-latest-docs.sh b/util/generate-latest-docs.sh index 9ab501fc93..9c559d8c6d 100755 --- a/util/generate-latest-docs.sh +++ b/util/generate-latest-docs.sh @@ -19,7 +19,10 @@ git rm -rf api/latest mkdir -p api # Just to make mv work if the directory is missing mv ${TARGET}/reports/apidocs api/latest git add -A -f api/latest -git commit -m "Latest javadoc on successful CI build auto-pushed to gh-pages" -git push -fq origin gh-pages > /dev/null - -echo -e "Published Javadoc to gh-pages.\n" +if [ -n "$(git status --porcelain)" ]; then + git commit -m "Latest javadoc on successful CI build auto-pushed to gh-pages" + git push -fq origin gh-pages > /dev/null + echo "Published Javadoc to gh-pages." +else + echo "No changes to commit." +fi