X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fextlib%2FMakefile;h=9f6267a06a579e9290ab0aeb3ae1b0000cb8e8de;hb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;hp=76370ee7307ef7abfb4cee96f04c4ed9ded9b6b6;hpb=f59550b5a9cdddbb348697201fae7d736d6b96c5;p=helm.git

diff --git a/helm/ocaml/extlib/Makefile b/helm/ocaml/extlib/Makefile
index 76370ee73..9f6267a06 100644
--- a/helm/ocaml/extlib/Makefile
+++ b/helm/ocaml/extlib/Makefile
@@ -1,8 +1,10 @@
 PACKAGE = extlib
 PREDICATES =
 
-INTERFACE_FILES = \
-        hExtlib.mli 
+INTERFACE_FILES =		\
+        hExtlib.mli		\
+	patternMatcher.mli	\
+	$(NULL)
 IMPLEMENTATION_FILES = \
 	$(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =