aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/update_docs
blob: 6993184e591588c26613605f50cfc00a8a29907b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/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
    touch .
    git add -A .
    git commit -m "Rebuilding documentation"
    git push -q upstream HEAD:gh-pages
    cd ..
fi