1 files changed, 0 insertions, 15 deletions
diff --git a/tools/update_docs b/tools/update_docs
deleted file mode 100755
index f1ba2ba9..00000000
--- a/tools/update_docs
+++ /dev/null
@@ -1,15 +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
-    git add -A
-    git commit -m "Rebuilding documentation"
-    git push -q upstream HEAD:gh-pages
-fi