Files
Marc Gravell c0b2097129 Pin the docs site config, and give it a favicon (#2224)
The site was running on GitHub's defaults, which take the title and description
from the repo's name and description fields - so an edit in the repo settings UI
quietly changed the site's metadata. Those are pinned now, along with the URL,
which is what jekyll-seo-tag uses to build canonical and og:url.

Also: strip_title, so the page title stops being printed twice (once in the
theme's header banner, once as the heading it was derived from); jekyll-sitemap,
which is not in the always-on GitHub Pages plugin set, for the sitemap.xml and
robots.txt the site did not have; and a favicon built from the project logo,
hooked up via the head-custom.html include the theme provides for exactly this.

Claude-Session: https://claude.ai/code/session_01NxkjXSR7CSGzyw89tJJVtw
2026-08-18 14:42:43 +01:00

4 lines
241 B
HTML

<!-- Overrides the theme's own head-custom.html, which ships with the favicon line commented out. -->
<link rel="icon" href="/assets/icon.png" type="image/png" sizes="256x256">
<link rel="icon" href="/favicon.ico" sizes="16x16 32x32 48x48">