Re: [PATCH] rust: docs: fix logo replacement

From: Benno Lossin
Date: Wed Oct 18 2023 - 13:52:19 EST


On 18.10.23 17:55, Miguel Ojeda wrote:
> The static files placement by `rustdoc` changed in Rust 1.67.0 [1],
> but the custom code we have to replace the logo in the generated
> HTML files did not get updated.
>
> Thus update it to have the Linux logo again in the output.
>
> Hopefully `rustdoc` will eventually support a custom logo from
> a local file [2], so that we do not need to maintain this hack
> on our side.
>
> Link: https://github.com/rust-lang/rust/pull/101702 [1]
> Link: https://github.com/rust-lang/rfcs/pull/3226 [2]
> Fixes: 3ed03f4da06e ("rust: upgrade to Rust 1.68.2")
> Cc: stable@xxxxxxxxxxxxxxx
> Signed-off-by: Miguel Ojeda <ojeda@xxxxxxxxxx>

Works for me.

Tested-by: Benno Lossin <benno.lossin@xxxxxxxxx>

--
Cheers,
Benno