Document sources and build method
varac opened this issue · comments
First of all, thanks a lot for coq + all the snippets !
Could you please document how these snippets are gathered and built ?
I.e. which sources you use, and publish the built script (are doing this manual / via some gh action etc) ?
Hugh, just found a lead at https://github.com/ms-jpq/coq_nvim/blob/coq/config/compilation.yml, is this the comlete list of sources this repo is built from ?
those two manly