Re: [PATCH v3 14/19] docs: add Rust documentation

From: Miguel Ojeda
Date: Wed Jan 19 2022 - 08:59:02 EST


On Tue, Jan 18, 2022 at 11:33 PM Jonathan Corbet <corbet@xxxxxxx> wrote:
>
> We have really tried to keep binary files (like PNG images) out of the
> documentation tree. If we really need these images, can they be
> provided in SVG form?

Yeah, they are not critical -- I can change them to a single SVG, or
use Tux, or drop them (although it is a nice way to tell one is not in
the Rust standard library docs).

Is there a preferred SVG version of Tux? (I cannot find one in the
tree, only the GIF one at `Doc/logo.gif`). If not, perhaps we could
ask permission to integrate one like https://github.com/garrett/Tux.

Cheers,
Miguel