diff options
author | TravisBot <> | 2017-09-21 23:46:05 +0000 |
---|---|---|
committer | TravisBot <> | 2017-09-21 23:46:05 +0000 |
commit | ad666428488d3c800ca18d877dad803bf18b8168 (patch) | |
tree | fde13f8d7aa332b31f6a140e76501a364be44c9f /scripts/update_docs | |
parent | 1a8ec165031af3b860028ef1b360acc8e7baf9e6 (diff) | |
download | YAGE-ad666428488d3c800ca18d877dad803bf18b8168.tar.gz YAGE-ad666428488d3c800ca18d877dad803bf18b8168.zip |
Rebuilding documentation
Diffstat (limited to 'scripts/update_docs')
-rwxr-xr-x | scripts/update_docs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/update_docs b/scripts/update_docs index f1ba2ba9..6993184e 100755 --- a/scripts/update_docs +++ b/scripts/update_docs @@ -9,7 +9,9 @@ if [[ "$TRAVIS_BRANCH" == "master" ]]; then git remote add upstream "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" git fetch upstream git reset upstream/gh-pages - git add -A + touch . + git add -A . git commit -m "Rebuilding documentation" git push -q upstream HEAD:gh-pages + cd .. fi |