1 files changed, 0 insertions, 17 deletions
diff --git a/scripts/update_docs b/scripts/update_docs
deleted file mode 100755
index 6993184e..00000000
--- a/scripts/update_docs
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/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