From ff921117f7aa8d49165c32a87ded39cd1d79f270 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Autin?= Date: Fri, 21 Apr 2023 14:55:07 +0200 Subject: [PATCH] Using direct link to git hosted logo for documentation --- build.rs | 14 -------------- src/main.rs | 5 ++++- 2 files changed, 4 insertions(+), 15 deletions(-) diff --git a/build.rs b/build.rs index 2ae1953..e3660e1 100644 --- a/build.rs +++ b/build.rs @@ -9,18 +9,4 @@ fn main() { let mut make_all = Command::new("make"); make_all.arg("all"); println!("{:?}", make_all.output().unwrap()); - - let mut create_target_folder = Command::new("mkdir"); - create_target_folder.args([ - "-p", - "target/doc/assets/" - ]); - println!("{:?}", create_target_folder.output().unwrap()); - - let mut copy_logo = Command::new("cp"); - copy_logo.args([ - "assets/logo/logo.svg", - "target/doc/assets/logo.svg" - ]); - println!("{:?}", copy_logo.output().unwrap()); } \ No newline at end of file diff --git a/src/main.rs b/src/main.rs index 9bf8a0d..9de0c09 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1,4 +1,7 @@ -#![doc(html_logo_url = "../assets/logo.svg", html_favicon_url = "../assets/logo.svg")] +#![doc( + html_logo_url = "https://gitlab.istic.univ-rennes1.fr/simpleos/burritos/-/raw/main/assets/logo/logo.svg", + html_favicon_url = "https://gitlab.istic.univ-rennes1.fr/simpleos/burritos/-/raw/main/assets/logo/logo.svg") +] #![warn(missing_docs)] #![warn(clippy::missing_docs_in_private_items)]