website?

Stream: FLT

[Kim Morrison]

Neither the repository nor the blueprint link to https://imperialcollegelondon.github.io/FLT/. Does anything? I fail to find it via google.

[Kevin Buzzard]

oh cool, I'm only dimly aware of that page, which is presumably being auto-generated and auto-populated by something. The "documentation" and "paper" links don't work.

[Kevin Buzzard]

wait -- if I click on "documentation" then the "blueprint" link stops working too. The "paper" link works only if I don't click on "documentation" first.

[Patrick Massot]

See https://github.com/ImperialCollegeLondon/FLT/blob/main/docs/index.md and https://github.com/ImperialCollegeLondon/FLT/blob/main/docs/_layouts/default.html.

[Patrick Massot]

The thing about doc being broken goes beyond that page. Trying to follow links to Lean code from the blueprint bring the same error.

[Kevin Buzzard]

@Yaël Dillies is this something to do with the recent changes to doc-gen?

[Yaël Dillies]

No. It has to do with the janky python code we're using having been deemed too janky by whatever the CI machines are running. I can fix it... if you open me a session on a computer in the MLC :innocent: (I am there in 50min)

[Kevin Buzzard]

great to know that my project is janky :-) I won't be in until the afternoon and I have meetings until about 3pm :-/