From e2108334d4306ee0832657a1b2c63041079c9042 Mon Sep 17 00:00:00 2001
From: Steve Klabnik <steve@steveklabnik.com>
Date: Fri, 22 May 2020 23:48:48 -0500
Subject: [PATCH] We don't need build.sh anymore

---
 ci/build.sh | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100755 ci/build.sh

diff --git a/ci/build.sh b/ci/build.sh
deleted file mode 100755
index 84efc4ab..00000000
--- a/ci/build.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-
-set -e
-
-export PATH=$PATH:/home/travis/.cargo/bin;
-
-echo 'Spellchecking...'
-bash ci/spellcheck.sh list
-echo 'Testing...'
-mdbook test
-echo 'Building...'
-mdbook build
-echo 'Linting for local file paths...'
-cargo run --bin lfp src
-echo 'Validating references'
-for file in src/*.md ; do
-    echo Checking references in $file
-    cargo run --quiet --bin link2print < $file > /dev/null
-done
-echo 'Checking for broken links...'
-rustup toolchain install nightly -c rust-docs --profile=minimal
-curl -sSLo linkcheck.sh \
-    https://raw.githubusercontent.com/rust-lang/rust/master/src/tools/linkchecker/linkcheck.sh
-# Cannot use --all here because of the generated redirect pages aren't available.
-sh linkcheck.sh book