diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2017-09-22 00:48:42 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-09-22 00:48:42 +0100 |
commit | 6cef2c7ad33c4ec4690670a6b0ce0f802187caff (patch) | |
tree | 3028ae24558abbb35752c943208c86edc4b7d797 /scripts | |
parent | e4bffb7221e72b84bdc68d630f4036d04101ce36 (diff) | |
parent | a5026f3a956de740dbab840c839a6fa3ebee2dec (diff) | |
download | YAGE-6cef2c7ad33c4ec4690670a6b0ce0f802187caff.tar.gz YAGE-6cef2c7ad33c4ec4690670a6b0ce0f802187caff.zip |
Merge branch 'develop'
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/update_docs | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/scripts/update_docs b/scripts/update_docs index 6993184e..19e47145 100755 --- a/scripts/update_docs +++ b/scripts/update_docs @@ -2,16 +2,18 @@ if [[ "$TRAVIS_BRANCH" == "master" ]]; then doxygen ./docs/Doxyfile - cd html - git init - git config user.name "TravisBot" - git config user.email "" - git remote add upstream "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" - git fetch upstream - git reset upstream/gh-pages - touch . - git add -A . - git commit -m "Rebuilding documentation" - git push -q upstream HEAD:gh-pages - cd .. + if [ -d "$TRAVIS_BUILD_DIR/html" ]; then + cd $TRAVIS_BUILD_DIR/html + git init + git config user.name "TravisBot" + git config user.email "" + git remote add upstream "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" + git fetch upstream + git reset upstream/gh-pages + touch . + git add -A . + git commit -m "Rebuilding documentation" + git push -q upstream HEAD:gh-pages + cd .. + fi fi |