From ce2f5500ca07e42f10d1817dbbe3a9b0f576f474 Mon Sep 17 00:00:00 2001
From: Steven Fackler <sfackler@gmail.com>
Date: Sun, 30 Jul 2017 12:12:34 -0700
Subject: [PATCH] Delete old script

---
 build_docs.sh | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 build_docs.sh

diff --git a/build_docs.sh b/build_docs.sh
deleted file mode 100755
index c41fd675..00000000
--- a/build_docs.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -e
-
-export CARGO_TARGET_DIR=target
-
-for toml in $(find . -maxdepth 2 -name "Cargo.toml"); do
-    cargo update --manifest-path $toml || true
-    features=$(cargo read-manifest --manifest-path $toml | jq -r '.features|keys|join(" ")')
-    cargo doc --no-deps --manifest-path $toml --features "$features"
-done