1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 099df2fe63..a65e29aafd 100644
--- a/Makefile
+++ b/Makefile
@@ -889,7 +889,7 @@ install-opt:
 
 install-binaries: install-ide-$(HASCOQIDE)
 	$(MKDIR) $(FULLBINDIR)
-	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQINTERFACE) $(COQVO2XML) $(FULLBINDIR)
+	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQWC) $(COQINTERFACE) $(COQVO2XML) $(FULLBINDIR)
 
 install-ide-no: