From 84b1c133c5a7afbee681ca9fba259d8c2dc5192d Mon Sep 17 00:00:00 2001
From: Steven Fackler <sfackler@gmail.com>
Date: Tue, 10 Nov 2015 23:16:50 -0800
Subject: [PATCH] Remove unused script

---
 .travis/update_docs.sh | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 .travis/update_docs.sh

diff --git a/.travis/update_docs.sh b/.travis/update_docs.sh
deleted file mode 100755
index 737f3842..00000000
--- a/.travis/update_docs.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-
-set -o errexit -o nounset
-
-git clone --branch gh-pages "https://$GH_TOKEN@github.com/${TRAVIS_REPO_SLUG}.git" deploy_docs
-cd deploy_docs
-
-git config user.name "Steven Fackler"
-git config user.email "sfackler@gmail.com"
-
-rm -rf doc/master
-mv ../target/doc doc/master
-
-git add -A .
-git commit -m "rebuild pages at ${TRAVIS_COMMIT}"
-git push