Using direct link to git hosted logo for documentation

This commit is contained in:
François Autin 2023-04-21 14:55:07 +02:00
parent ce4c7230f9
commit ff921117f7
No known key found for this signature in database
GPG Key ID: 343F5D382E1DD77C
2 changed files with 4 additions and 15 deletions

View File

@ -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());
}

View File

@ -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)]