From 42bb3db8c897c5b3c82fcf1d4e4f71ee0e0d2bef Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 24 May 2018 03:52:06 +0200
Subject: [dune] Add apidoc target using `odoc`

We build the `@doc` target in the `dune` job:

- The documentation can be found in `_build/default/_doc/`
- We had to fix a couple of quoting problems.
---
 Makefile.dune | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Makefile.dune')

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
 
-- 
cgit v1.2.3