diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2017-09-22 00:24:07 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-09-22 00:24:07 +0100 |
| commit | c36dd5fd07bc58f65936e856ff939c4d86dc9329 (patch) | |
| tree | 5b8446526bf35732c4226b0608c587b2de0bc3df /tools/update_docs | |
| parent | 5deb18b72a4993a4baf59b7da24a04116eab31e6 (diff) | |
| parent | a207b43097d28ab8fc0c72376d00223518c424b7 (diff) | |
| download | YAGE-c36dd5fd07bc58f65936e856ff939c4d86dc9329.tar.gz YAGE-c36dd5fd07bc58f65936e856ff939c4d86dc9329.zip | |
Merge branch 'develop'
Diffstat (limited to 'tools/update_docs')
| -rwxr-xr-x | tools/update_docs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/update_docs b/tools/update_docs deleted file mode 100755 index ff998368..00000000 --- a/tools/update_docs +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env bash - -doxygen ./docs/Doxyfile >/dev/null 2>&1 -cd html >/dev/null 2>&1 -git init >/dev/null 2>&1 -git config user.name "TravisBot" >/dev/null 2>&1 -git config user.email "" >/dev/null 2>&1 -git remote add upstream "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" >/dev/null 2>&1 -git fetch upstream >/dev/null 2>&1 -git reset upstream/gh-pages >/dev/null 2>&1 -git add -A >/dev/null 2>&1 -git commit -m "Rebuilding documentation" >/dev/null 2>&1 -git push -q upstream HEAD:gh-pages >/dev/null 2>&1 |