Document Generation in Lean

Stream: new members

[Suryansh Shrivastava]

I am having problems while generating a doc-gen HTML page for my LEAN4 code in Windows. Is there a manual that one can look into besides the documentation available for Doc_Gen

[Suryansh Shrivastava]

specifically it's showing me error like :- error: git exited with code 2 while looking for the git remote in

[Suryansh Shrivastava]

And while compiling it shows me files like :- bufferc, commonmarkc, houdini_href_ec don't exist

[Shreyas Srinivas]

I think this question will get a better response on the #lean4 stream.