1 files changed, 3 insertions, 0 deletions

diff --git a/coq.itarget b/coq.itarget
new file mode 100644
index 00000000..7488f421
--- /dev/null
+++ b/coq.itarget
@@ -0,0 +1,3 @@
+binaries
+plugins/plugins.otarget
+theories/theories.otarget