Getting something like mathlib docs for a personal project

Stream: new members

[Connor Gordon]

I'm currently working on a decently large project and I'm sometimes finding it difficult to keep track of everything going on. Is there a way to generate something like this for my own project, perhaps even just locally?

I managed to find doc-gen, but I have no idea how to go about running it (I'm on a Windows device, and it says it's not Windows friendly, so I'm not even sure if I can run it.

[Alex J. Best]

You might be able to run it in WSL?

[Eric Wieser]

You can get GitHub to run it with configuration like https://github.com/pygae/lean-ga/blob/master/.github/workflows/lean_doc.yml