Merge PR #8053: [dune] Add apidoc target using `odoc`

1 files changed, 7 insertions, 0 deletions

diff --git a/Makefile.dune b/Makefile.dune
index f90f555557..e04982650f 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -13,6 +13,7 @@ help:
 	@echo "  - states:  build a minimal functional coqtop"
 	@echo "  - world:   build all binaries and libraries"
 	@echo "  - release: build Coq in release mode"
+	@echo "  - apidoc:  build ML API documentation"
 	@echo "  - clean:   remove build directory and autogenerated files"
 	@echo "  - help:    show this message"
 
@@ -29,6 +30,12 @@ world: voboot
 release: voboot
 	dune build $(DUNEOPT) -p coq
 
+apidoc:
+        # Ugly workaround for https://github.com/ocaml/odoc/issues/148
+	mv checker/dune checker/dune.disabled || true
+	dune build $(DUNEOPT) @doc
+	mv checker/dune.disabled checker/dune || true
+
 clean:
 	dune clean