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)
commitf26e61319f3f9ba0bfed214197480e70a2058791
tree025aca47fcff2c4037daeeee51064c836a2e6105
parent6e0f3912e8eb0f59824d2c5d567f599090243044
docs/website: add favicon.png

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]