updated travisCI towards javadoc automation

Author: Christian Zirkelbach

.travis.yml

@@ -39,7 +39,7 @@ jobs:
     - stage: documentation
       name: "Publish documentation"
       if: (branch = master)
-      script: ./gradlew alljavadoc && chmod +x .travis/javadoc-push.sh && .travis/javadoc-push.sh
+      script: chmod +x .travis/javadoc-push.sh && .travis/javadoc-push.sh
 
 before_script:
   - chmod +x .travis/docker_push.sh

.travis/javadoc-push.sh

@@ -2,7 +2,8 @@
 
 echo -e "Publishing javadoc...\n"
 
-cp -R docs $HOME/javadoc-latest
+./gradlew alljavadoc 
+cp -R docs $HOME/docs
 
 cd $HOME
 git config --global user.email "travis@travis-ci.org"
@@ -11,7 +12,7 @@ git clone --quiet --branch=gh-pages https://$PersonalAccessToken@github.com/Expl
 
 cd gh-pages
 git rm -rf *
-cp -Rf $HOME/javadoc-latest/* .
+cp -Rf $HOME/docs/* .
 git add -f .
 git commit -m "Latest Javadoc on successful Travis build $TRAVIS_BUILD_NUMBER auto-pushed to gh-pages"
 git push -fq origin gh-pages > /dev/null