1 files changed, 2 insertions, 1 deletions
diff --git a/coq.itarget b/coq.itarget
index 72684c23b..7488f421e 100644
--- a/coq.itarget
+++ b/coq.itarget
@@ -1,2 +1,3 @@
 binaries
-vo.otarget
+plugins/plugins.otarget
+theories/theories.otarget