1 files changed, 11 insertions, 0 deletions
diff --git a/bin.itarget b/bin.itarget
new file mode 100644
index 0000000000..a4110bc958
--- /dev/null
+++ b/bin.itarget
@@ -0,0 +1,11 @@
+bin/coqmktop
+bin/coqtop
+bin/coqide
+bin/coqc
+bin/coqchk
+bin/coqdep
+bin/coqwc
+bin/coq-tex
+bin/coq_makefile
+bin/gallina
+bin/coqdoc