From: Eric Engestrom Date: Fri, 4 May 2018 11:46:17 +0000 (+0100) Subject: docs: add favicon to the website X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f736be86bbb4932e89e08f25d4430d96230b11f7;p=mesa.git docs: add favicon to the website favicon.png is just gears.png resized to 64x64, and favicon.ico is generated using this command, adapted from the ImageMagick example [1]: $ convert favicon.png -background black \ $ -clone 0 -resize 16x16 $ \ $ -clone 0 -resize 32x32 $ \ $ -clone 0 -resize 48x48 $ \ $ -clone 0 -resize 64x64 $ \ -delete 0 -alpha off -colors 256 favicon.ico We could edit every html page to add ``, but there's not much point as pretty much every browser will pick it up automatically if the file is named `favicon.ico` and is in the root folder. [1] http://www.imagemagick.org/Usage/thumbnails/#favicon Signed-off-by: Eric Engestrom --- diff --git a/docs/favicon.ico b/docs/favicon.ico new file mode 100644 index 00000000000..e7e244a161e Binary files /dev/null and b/docs/favicon.ico differ diff --git a/docs/favicon.png b/docs/favicon.png new file mode 100644 index 00000000000..19898ef7420 Binary files /dev/null and b/docs/favicon.png differ