4 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	168e569b11	chore: trigger the site only on its own inputs ... The site deploy still triggered on seven scripts it stopped importing when the pack and site modules were split, and on the test suite it never runs, so a builder-only push rebuilt the site for nothing. The triggers now match the build's import closure in both directions.	2026-10-18 04:16:14 +02:00
Abdessamad Derraz	5c89ac6edc	docs: name jsonschema where the build needs it	2026-10-06 09:46:10 +02:00
Abdessamad Derraz	d3e02c8c5e	fix: redeploy the site on any script it imports	2026-10-06 05:23:27 +02:00