Add logging

.travis/build-doc.sh

@@ -61,6 +61,8 @@ zip -qr pmd-doc-${VERSION}.zip pmd-doc-${VERSION}/
 # Push the generated site to gh-pages branch
 #
 if [[ "${VERSION}" == *-SNAPSHOT && "${TRAVIS_BRANCH}" == "master" ]]; then
+    echo -e "\n\n"
+    log_info "Pushing the new site to github pages..."
     git config user.name "Travis CI (pmd-bot)"
     git config user.email "andreas.dangel+pmd-bot@adangel.org"
     git clone --branch gh-pages --depth 1 git@github.com:pmd/pmd.git pmd-gh-pages
@@ -74,6 +76,7 @@ if [[ "${VERSION}" == *-SNAPSHOT && "${TRAVIS_BRANCH}" == "master" ]]; then
         git commit -q -m "Update documentation"
         git push git@github.com:pmd/pmd.git HEAD:gh-pages
     )
+    log_success "Successfully pushed site to https://pmd.github.io/pmd/"
 fi
 
 popd