Broken link in blueprint

Stream: PrimeNumberTheorem+

[Bolton Bailey]

When I click for the Lean definition of "RectangleIntegral" on the blueprint I get a 404.

[Alex Kontorovich]

Darn, the docs didn't generate. (They did before...) I'll get to work on figuring out why...

[Tobias Grosser]

I get a file not found at https://alexkontorovich.github.io/PrimeNumberTheoremAnd/web/index.html

[Bolton Bailey]

Hey, the link works for me now :octopus:

[Ian Jauslin]

Working on it

[Ian Jauslin]

Alright, it should be online now, and, hopefully, won't break too soon!

[David Michael Roberts]

Minor comment, not worth its own topic: there's a typo in Corollary 8 here: https://alexkontorovich.github.io/PrimeNumberTheoremAnd/web/sect0005.html#prime-between (it should be (1+eps)x not (1+eps x)

[Alex Kontorovich]

Got it, thanks!