diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh index 6a10d73a..a5d1acd5 100755 --- a/docs/src/main/asciidoc/ghpages.sh +++ b/docs/src/main/asciidoc/ghpages.sh @@ -28,6 +28,7 @@ fi # Prop that will let commit the changes COMMIT_CHANGES="no" MAVEN_PATH=${MAVEN_PATH:-} +echo "Path to Maven is [${MAVEN_PATH}]" # Code getting the name of the current branch. For master we want to publish as we did until now # http://stackoverflow.com/questions/1593051/how-to-programmatically-determine-the-current-checked-out-git-branch