1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6444d30d58..557626f79b 100644
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,7 @@ OCAMLOPT_P4O=$(OCAMLOPT) -pp $(CAMLP4O) $(OPTFLAGS)
 CAMLP4EXTENDFLAGS=-I . pa_extend.cmo q_MLast.cmo
 CAMLP4DEPS=sed -n -e 's|^(\*.*camlp4deps: "\(.*\)".*\*)$$|\1|p'
 
-COQINCLUDES=-R theories Coq -R contrib Coq
+COQINCLUDES=          # coqtop includes itself the needed paths
 
 ###########################################################################
 # Objects files