diff options
Diffstat (limited to 'rust/build.rs')
| -rw-r--r-- | rust/build.rs | 13 |
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"); +} |
