From 8948c8436a1aa7d84682a342beb88c09f7a4dae0 Mon Sep 17 00:00:00 2001
From: Emily Toop <etoop@mozilla.com>
Date: Thu, 23 Aug 2018 15:38:22 +0100
Subject: [PATCH] Remove unused script

---
 scripts/cargo-doc.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 scripts/cargo-doc.sh

diff --git a/scripts/cargo-doc.sh b/scripts/cargo-doc.sh
deleted file mode 100755
index 52942bea..00000000
--- a/scripts/cargo-doc.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-if [[ "$TRAVIS_PULL_REQUEST" = "false" && "$TRAVIS_BRANCH" == "master" ]]; then
-    cargo doc &&
-    echo "<meta http-equiv=refresh content=0;url=mentat/index.html>" > target/doc/index.html &&
-    git clone https://github.com/davisp/ghp-import.git &&
-    ./ghp-import/ghp_import.py -n -p -f -r https://"$GH_TOKEN"@github.com/"$TRAVIS_REPO_SLUG.git" target/doc
-fi