5 Commits

Include renames

Author	SHA1	Message	Date
Abdessamad Derraz	bd75defb61	fix: date sitemap entries from their pages ... The sitemap gave every page the build date. A page now states its own date and a mkdocs hook passes it on, or leaves lastmod out. The values added to the site's code spans today are also escaped: a backtick in a profile or file name could close the span and inject markup.	2026-10-18 10:08:18 +02:00
Abdessamad Derraz	faa8af0800	refactor: annotate every remaining signature	2026-10-18 00:44:20 +02:00
Abdessamad Derraz	9ea6083b8a	fix: show path placeholders and hash lists on site pages	2026-10-04 18:07:18 +02:00
Abdessamad Derraz	ee6e7558f9	refactor: assign each module constant once	2026-09-04 10:19:04 +02:00
Abdessamad Derraz	b8bdeec5ce	refactor: lift the site's shared layers out ... Three groups leave generate_site.py: the write-and-sweep bookkeeping the whole build shares, the pinned permalinks into cited sources, and the small renderings every page uses. Each sits below what calls it, so the page generators stay the only composite layer. Verified against the previous revision on frozen inputs: 571 artefacts identical, and the rendered site still resolves all local links across 511 pages.	2026-08-12 12:37:27 +02:00