Add favicon.ico to exist-db.org homepage

[joewiz]

@lguariento said:

PS: well, there's still the ever-present 404 for the favicon. :)

I responded:

Ah yes, that's an issue with the configuration of the exist-db.org server. It should forward the request for http://exist-db.org/favicon.ico to the ico file in eXist's jetty config directories https://github.com/eXist-db/exist/blob/develop/exist-jetty-config/src/main/resources/org/exist/jetty/etc/webapps/portal/resources/exist_icon_16x16.ico.

p.s. I know this is an exist-db.org server configuration issue, not an issue with this app - but the repo is called "website" and there's no dedicated repo for exist-db.org server issues.

[joewiz]

Actually, I think all we need is to add:

<link rel="shortcut icon" href="resources/images/exist_icon_16x16.ico">

... to the page template, ensuring that the referenced image is there.

This is already working on https://exist-db.org/exist/apps/public-repo/.