Re: CVS commit: pkgsrc/devel/ocaml-dune

On Sat, Aug 01, 2026 at 12:50:04AM +0100, Alexander Nasonov wrote:
> It turns out that the build procedure hasn't changed much between
> version 8 (coq) and version 9 (rocq). But I struggle to build with
> the "doc" option.  Enabling that option pulls in so many tex- and
> py3 dependencies that I think it's better to create a separate
> lang/rocq-doc package.

I'd actually prefer a separate doc package to a doc option. So please
go ahead with that!

Thank you!
 Thomas