Generate documentation for old version (4.7) of mathlib?

Stream: mathlib4

[Kent Van Vels]

I am playing around with lean4game and it uses lean version 4.7 and mathlib version 4.7. The files on the mathlib library online don't match this older version of mathlib. I tried to follow the directions here on the splash page of the github repo but lake complains that there isn't a lakefile.lean. There is a lakefile.toml however.

So my question is the following: How can i either generate or look at the documentation for the 4.7 version of mathlib? I appreciate any help.

[Kent Van Vels]

I am reading the readme that came with the 4.7 version of mathlib and I might have a way to do it. It says to use
lake -Kdoc=on build Mathlib:docs. I will try this.

[Kent Van Vels]

That didn't work, as far as I can tell.