aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/update_docs
blob: f1ba2ba9f18740509399b0cf7767ee6ede39efe3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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