diff options
Diffstat (limited to 'scripts')
-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 |