search

coq-community / coqffi

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
https://coq-community.org/coqffi/
MIT License
35 stars 8 forks source link

Make the manpage rule in doc `(mode promote)`. #90

Closed Alizter closed 1 year ago

Alizter commented 1 year ago

If you make the rule in doc/ include (mode promote) in the stanza, it will add the man page to the source tree. This can then be committed allowing the documentation to be found in the repo. Having doc relying on the ability to compile makes it hard for users IMO.

lthms commented 1 year ago

Thanks for the suggestion (: (though I am not sure the output is as readable as one might hope)