search

seL4 / website

The seL4.systems website
https://seL4.systems
3 stars 14 forks source link

make all links document-relative #349

Closed lsf37 closed 6 months ago

lsf37 commented 6 months ago

This makes all manual links (a href and img src) on the site use relative paths, which should enable previews with varying path prefixes in the next step.

Indanz commented 6 months ago

If the link checking is done with a different path prefix, it will find any remaining absolute paths.

lsf37 commented 6 months ago

If the link checking is done with a different path prefix, it will find any remaining absolute paths.

Good idea. Just tried that and it succeeded without errors.