Library docmenation appears to be broken

[kant2002]

See https://fstarlang.github.io/docs/. Seems to be broken by me

[plvines]

I am seeing this as well - I see links for various libraries but most of them just have

fsdoc: no-summary-found

[kant2002]

cc @nikswamy where I can start so maybe I will made a fix?

[aseemr]

This seems broken, we will look into it, thanks for bringing it to our attention.

This documentation is auto-generated from the comments in the F* source files. So, in the meantime you could browse through the source files in ulib and see the comments/documentation in there.

[kant2002]

@aseemr if you willing to get one more contributor you can point me in the direction and hopefully I find out what’s broken. But I would like to know where to start