summaryrefslogtreecommitdiff
path: root/rust/build.rs
diff options
context:
space:
mode:
authorKyleMiles <krm504@nyu.edu>2022-08-29 16:25:03 -0400
committerKyleMiles <krm504@nyu.edu>2022-08-29 17:50:43 -0400
commit3ae2ea8f069a448e4e3344d4467b019f860d2560 (patch)
tree4415db642a824e5a90a7b74de5074eafb673e587 /rust/build.rs
parent995ce65e1c59cb276dd9ca77fe216a8b7639db9d (diff)
Add Rust docs to CI (see https://dev-rust.binary.ninja 🎉)
Diffstat (limited to 'rust/build.rs')
-rw-r--r--rust/build.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/rust/build.rs b/rust/build.rs
new file mode 100644
index 00000000..174cc587
--- /dev/null
+++ b/rust/build.rs
@@ -0,0 +1,13 @@
+fn main() {
+ println!("cargo:rerun-if-changed=under_construction.png");
+ println!("cargo:rerun-if-changed=../docs/img/favicon.ico");
+ println!("cargo:rerun-if-changed=../docs/img/logo.png");
+
+ let _ = std::fs::create_dir("target/doc");
+ let _ = std::fs::copy("../docs/img/favicon.ico", "target/doc/favicon.ico");
+ let _ = std::fs::copy(
+ "under_construction.png",
+ "target/doc/under_construction.png",
+ );
+ let _ = std::fs::copy("../docs/img/logo.png", "target/doc/logo.png");
+}