diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2017-09-22 00:20:24 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-09-22 00:20:24 +0100 |
commit | 341991bd244db9f8ecf7f69f48fde5e095c84554 (patch) | |
tree | 585243c74bcabf53b34f24a6f1c94e2681b6fcc8 /tools/update_docs | |
parent | d7a25d73e6f230f52dac8d5eeb62946c5aeb60ef (diff) | |
download | YAGE-341991bd244db9f8ecf7f69f48fde5e095c84554.tar.gz YAGE-341991bd244db9f8ecf7f69f48fde5e095c84554.zip |
updating script
Diffstat (limited to 'tools/update_docs')
-rwxr-xr-x | tools/update_docs | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/tools/update_docs b/tools/update_docs index ff998368..f1ba2ba9 100755 --- a/tools/update_docs +++ b/tools/update_docs @@ -1,13 +1,15 @@ #!/usr/bin/env bash -doxygen ./docs/Doxyfile >/dev/null 2>&1 -cd html >/dev/null 2>&1 -git init >/dev/null 2>&1 -git config user.name "TravisBot" >/dev/null 2>&1 -git config user.email "" >/dev/null 2>&1 -git remote add upstream "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" >/dev/null 2>&1 -git fetch upstream >/dev/null 2>&1 -git reset upstream/gh-pages >/dev/null 2>&1 -git add -A >/dev/null 2>&1 -git commit -m "Rebuilding documentation" >/dev/null 2>&1 -git push -q upstream HEAD:gh-pages >/dev/null 2>&1 +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 + git add -A + git commit -m "Rebuilding documentation" + git push -q upstream HEAD:gh-pages +fi |