With coq_makefile generated Makefile we could do make html for html documentation generation ; what is its dune counterpart. dune build @doc only seems to work for ocaml.
1 Like
If I am not mistaken, this is not supported yet. The required infrastructure for setting up coqdoc rules has been added in Dune 3.0, so we could expect this feature to come soon, but as far as I know, it still hasn’t been implemented.
Some projects, like Hydras & Co. have both a legacy coq_makefile build system and a Dune build system, and building the doc is one of the reasons for keeping the legacy one.
1 Like