From cf6b12cb3a88fb3af6a7b3e91d17db8b06d23c81 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 1 Sep 2014 14:54:49 +0200
Subject: coqworkmgr

---
 Makefile.common | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 5b90e19db7..44cdc0baf5 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -94,8 +94,10 @@ COQTEX:=bin/coq-tex$(EXE)
 COQWC:=bin/coqwc$(EXE)
 COQDOC:=bin/coqdoc$(EXE)
 FAKEIDE:=bin/fake_ide$(EXE)
+COQWORKMGR:=bin/coqworkmgr$(EXE)
 
-TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) $(COQC)
+TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) $(COQC)\
+	$(COQWORKMGR)
 
 PRIVATEBINARIES:=$(FAKEIDE) $(COQDEPBOOT)
 
-- 
cgit v1.2.3