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

Attempt to build std docs locally

But it doesn't work, producing some broken links eg
  file://///home/rustcargo/Rustup/Game/server/target/doc/std_doc/std/str/index.html
link "the str primitive type" to
  file://///home/rustcargo/Rustup/Game/server/target/doc/std_doc/std/primitive.str.html
---

diff --git a/Cargo.lock.example b/Cargo.lock.example
index 8d9012f4..30b65721 100644
--- a/Cargo.lock.example
+++ b/Cargo.lock.example
@@ -2245,6 +2245,10 @@ 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 ae7bfeda..4a2bcafc 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -11,7 +11,7 @@ version = "0.0.1"
 edition = "2018"
 
 [workspace]
-members = ["wasm", "wdriver"]
+members = ["wasm", "wdriver", "src/std-doc"]
 
 [dependencies]
 
diff --git a/src/std-doc/Cargo.toml b/src/std-doc/Cargo.toml
new file mode 100644
index 00000000..2be83996
--- /dev/null
+++ b/src/std-doc/Cargo.toml
@@ -0,0 +1,12 @@
+
+[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
new file mode 100644
index 00000000..330f863c
--- /dev/null
+++ b/src/std-doc/lib.rs
@@ -0,0 +1,2 @@
+#[doc(inline)]
+pub use std;