From 834bd20dc5d6024933e7f859ad5e697fc8b27b9d Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 28 Sep 2018 17:31:03 +0200
Subject: [dune] Pack checker to avoid [odoc] problems + build doc for plugins.

We also build documentation for plugins, for example Ltac_plugin is
often used in other plugins.
---
 Makefile.dune | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'Makefile.dune')

diff --git a/Makefile.dune b/Makefile.dune
index 81afa5bb91..1e401a57b9 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -34,11 +34,8 @@ watch: 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
+apidoc: voboot
 	dune build $(DUNEOPT) @doc
-	mv checker/dune.disabled checker/dune || true
 
 clean:
 	dune clean
-- 
cgit v1.2.3