1 files changed, 2 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 33a7321e9b..0f2323cb5b 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,8 @@ noargument:
 
 LOCALINCLUDES= -I config -I tools -I scripts -I lib -I kernel -I library \
                -I proofs -I tactics -I pretyping -I parsing -I toplevel  \
-               -I contrib/omega -I contrib/ring -I contrib/xml
+               -I contrib/omega -I contrib/ring -I contrib/xml \
+	       -I contrib/extraction
 INCLUDES=$(LOCALINCLUDES) -I $(CAMLP4LIB)
 
 BYTEFLAGS=$(INCLUDES) $(CAMLDEBUG)