docs/website: add favicon.png
authorPeter Korsgaard <peter@korsgaard.com>
Fri, 27 Apr 2018 19:45:39 +0000 (21:45 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 28 Apr 2018 07:31:33 +0000 (09:31 +0200)
The website advertises a favicon in PNG format, but we don't actually
provide one. From docs/website/header.html:

<link rel="shortcut icon" href="images/favicon.png">

So add one. Generated by:

convert -geometry 32x32!  docs/website/images/logo_small.png \
  docs/website/favicon.png

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
docs/website/favicon.png [new file with mode: 0644]

diff --git a/docs/website/favicon.png b/docs/website/favicon.png
new file mode 100644 (file)
index 0000000..3bfe1ba
Binary files /dev/null and b/docs/website/favicon.png differ