Generating the mathlib docs

Stream: new members

[Paul Nelson]

Is there a way to generate the documentation https://leanprover-community.github.io/mathlib4_docs/ on my machine?

[Alex J. Best]

As mentioned in your other thread, using https://github.com/leanprover/doc-gen4 is the way to do this, see the instructions there