aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/update_docs
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/update_docs')
-rwxr-xr-xscripts/update_docs15
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