From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 22 Dec 2020 20:50:21 +0000 (+0000)
Subject: Revert "Attempt to build std docs locally"
X-Git-Tag: otter-0.2.0~173
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d3c53b568e98d40ff90e6297ddccbed784ea1f7f;p=otter.git

Revert "Attempt to build std docs locally"

This reverts commit 67ffb097dbee0bd689e3b6075ade2ed421db5723.
---

diff --git a/Cargo.lock.example b/Cargo.lock.example
index 30b65721..8d9012f4 100644
--- a/Cargo.lock.example
+++ b/Cargo.lock.example
@@ -2245,10 +2245,6 @@ version = "0.4.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3015a7d0a5fd5105c91c3710d42f9ccf0abfb287d62206484dcc67f9569a6483"
 
-[[package]]
-name = "std-doc"
-version = "0.0.1"
-
 [[package]]
 name = "strsim"
 version = "0.9.3"
diff --git a/Cargo.toml b/Cargo.toml
index 4a2bcafc..ae7bfeda 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -11,7 +11,7 @@ version = "0.0.1"
 edition = "2018"
 
 [workspace]
-members = ["wasm", "wdriver", "src/std-doc"]
+members = ["wasm", "wdriver"]
 
 [dependencies]
 
diff --git a/src/std-doc/Cargo.toml b/src/std-doc/Cargo.toml
deleted file mode 100644
index 2be83996..00000000
--- a/src/std-doc/Cargo.toml
+++ /dev/null
@@ -1,12 +0,0 @@
-
-[package]
-name = "std-doc"
-authors = ["Rust authors"]
-license = "Same as Rust"
-
-version = "0.0.1"
-edition = "2018"
-
-[lib]
-name = "std_doc"
-path = "lib.rs"
diff --git a/src/std-doc/lib.rs b/src/std-doc/lib.rs
deleted file mode 100644
index 330f863c..00000000
--- a/src/std-doc/lib.rs
+++ /dev/null
@@ -1,2 +0,0 @@
-#[doc(inline)]
-pub use std;