Fix/relative urls#835

Open

NicolasRouquette wants to merge 3 commits intoleanprover:mainfrom

NicolasRouquette:fix/relative-img-urls

Commits on Apr 12, 2026

fix: prefix relative image URLs with page path in multi-page HTML
NicolasRouquette
committed
Simplifies URL rewriting by dropping absolute path conversion
NicolasRouquette
committed
Merge branch 'leanprover:main' into fix/relative-img-urls
NicolasRouquette
authored