From 9252e89072239c8c1454e754f8498031dfacec54 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sun, 22 Mar 2020 13:14:33 +0100
Subject: Fix world and watch targets of Makefile.dune now that doc has install
 rules.

---
 Makefile.dune | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile.dune b/Makefile.dune
index 0520d43da9..b77e78db69 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -54,8 +54,10 @@ voboot: plugins/ltac/dune
 states: voboot
 	dune build --display=short $(DUNEOPT) dev/shim/coqtop-prelude
 
+NONDOC_INSTALL_TARGETS:=coq.install coqide-server.install coqide.install
+
 world: voboot
-	dune build $(DUNEOPT) @install
+	dune build $(DUNEOPT) $(NONDOC_INSTALL_TARGETS)
 
 coq: voboot
 	dune build $(DUNEOPT) coq.install
@@ -67,7 +69,7 @@ coqide-server: voboot
 	dune build $(DUNEOPT) coqide-server.install
 
 watch: voboot
-	dune build $(DUNEOPT) @install -w
+	dune build $(DUNEOPT) $(NONDOC_INSTALL_TARGETS) -w
 
 check: voboot
 	dune build $(DUNEOPT) @check
-- 
cgit v1.2.3