Add dune rules to generate documentation for the Gospelstdlib and fix its syntax

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.

https://ocaml-gospel.github.io/gospel

MIT License

126 stars 16 forks source link

Closed shym closed 11 months ago

n-osborne commented 11 months ago

Need formatting. And apparently, ocaml-ci doesn't know about man anymore...