diff options
Diffstat (limited to 'scripts/update_docs')
-rwxr-xr-x | scripts/update_docs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/update_docs b/scripts/update_docs new file mode 100755 index 00000000..f1ba2ba9 --- /dev/null +++ b/scripts/update_docs @@ -0,0 +1,15 @@ +#!/usr/bin/env bash + +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 |