diff --git a/scripts/github/update-gh-pages.sh b/scripts/github/update-gh-pages.sh index 1cac2d3dd..0a0811dec 100755 --- a/scripts/github/update-gh-pages.sh +++ b/scripts/github/update-gh-pages.sh @@ -125,6 +125,10 @@ _stable=`(ls -d1 v*/ || :) | sort -n | tail -n1` # Detect existing versions from the gh-pages branch create_versions_js > versions.js +cat > index.html << EOF + +EOF + if [ -z "`git status --short`" ]; then echo "No new content, gh-pages branch already up-to-date" exit 0