diff options
Diffstat (limited to 'scripts/update_docs')
-rwxr-xr-x | scripts/update_docs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/scripts/update_docs b/scripts/update_docs deleted file mode 100755 index be1eaf1d..00000000 --- a/scripts/update_docs +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/env bash - -if [[ "$TRAVIS_BRANCH" == "master" ]]; then - if [ -d "$TRAVIS_BUILD_DIR/build/doc_doxygen/html" ]; then - git clone -b gh-pages "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" YAGE_gh-pages - cd YAGE_gh-pages - git config user.name "TravisBot" - git config user.email "" - rm -rf * - cp -r ../build/doc_doxygen/html/* . - git add -A . - git commit -m "Rebuilding documentation" - git push -q origin gh-pages - cd .. - fi -fi |