# Html/PDF documentation building with dune

**URL:** <https://discourse.rocq-prover.org/t/html-pdf-documentation-building-with-dune/1508>\
**Category:** Using Rocq\
**Created:** [December 16, 2021, 2:06pm UTC](https://discourse.rocq-prover.org/t/html-pdf-documentation-building-with-dune/1508 "2021-12-16T14:06:57Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![piyush-kurur](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/piyush-kurur/32/589_2.png) [@piyush-kurur](https://discourse.rocq-prover.org/u/piyush-kurur)\
**Post date:** [December 16, 2021, 2:06pm UTC](https://discourse.rocq-prover.org/t/html-pdf-documentation-building-with-dune/1508/1 "2021-12-16T14:06:57Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [December 16, 2021, 3:20pm UTC](https://discourse.rocq-prover.org/t/html-pdf-documentation-building-with-dune/1508/2 "2021-12-16T15:20:35Z")

</div>

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.](https://github.com/coq-community/hydra-battles) 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.