Peter Korsgaard f26e61319f 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>		2018-04-28 09:31:33 +02:00
..
css
fonts
images
js	docs/website: Free Electrons is now Bootlin	2018-02-14 21:30:26 +01:00
.htaccess
contribute.html
copyright.txt	Makefile, manual, website: Bump copyright year	2018-02-01 16:49:41 +01:00
docs.html	docs/website: Free Electrons is now Bootlin	2018-02-14 21:30:26 +01:00
download.html	docs/website: update for 2018.02.1	2018-04-10 15:36:32 +02:00
favicon.ico
favicon.png	docs/website: add favicon.png	2018-04-28 09:31:33 +02:00
footer.html	website: footer.html: use 1.7.1 release of clipboard.js	2018-04-28 09:31:00 +02:00
header.html
index.html	website: update package number text	2018-02-25 21:54:57 +01:00
news.html	docs/website: update for 2017.02.11	2018-04-12 18:42:04 +02:00
robots.txt
sponsors.html
support.html