1 files changed, 2 insertions, 12 deletions
diff --git a/coq.itarget b/coq.itarget
index ea48c3339f..6ab8e46700 100644
--- a/coq.itarget
+++ b/coq.itarget
@@ -1,12 +1,2 @@
-bin/coqmktop
-bin/coqtop
-bin/coqide
-bin/coqc
-bin/coqchk
-bin/coqdep
-bin/coqwc
-bin/coq-tex
-bin/coq_makefile
-bin/gallina
-bin/coqdoc
-states/initial.coq
+bin.otarget
+vo.otarget