diff options
Diffstat (limited to 'scripts/travis_build')
| -rwxr-xr-x | scripts/travis_build | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/scripts/travis_build b/scripts/travis_build index ad59e729..ed2fdd0a 100755 --- a/scripts/travis_build +++ b/scripts/travis_build @@ -18,10 +18,10 @@ cd ../.. # update docs if we are on the master branch echo "TRAVIS_BRANCH = " $TRAVIS_BRANCH -echo "BUILD_DOCS = " $BUILD_DOCS -ls build -ls build/doc_doxygen -ls build/doc_doxygen/html +echo "BUILD_DOCS = " $BUILD_DOCS +echo "CC = " $CC +echo "CXX = " $CXX + if [[ $TRAVIS_BRANCH = "master" && $BUILD_DOCS -eq 1 ]]; then if [[ -d "build/doc_doxygen/html" ]]; then git clone -b gh-pages "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" YAGE_gh-pages @@ -29,10 +29,9 @@ if [[ $TRAVIS_BRANCH = "master" && $BUILD_DOCS -eq 1 ]]; then git config user.name "TravisBot" git config user.email "" rm -rf * - cp -r build/doc_doxygen/html/* . + cp -r ../build/doc_doxygen/html/* . git add -A . git commit -m "[Travis] Rebuilding documentation" git push -q origin gh-pages - cd .. fi fi |