X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo%2FMakefile;h=e22de9f07961707cd47d3b5df00b3341b50aa352;hb=b4a7a577a04c56a68b6d79d06fdb925ff0bbd331;hp=9cec0e48838c2ea68e442f5ef0437408625701a0;hpb=cb5860a98029772bfe3af081239fa2eb13075a32;p=helm.git

diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile
index 9cec0e488..e22de9f07 100644
--- a/helm/uwobo/Makefile
+++ b/helm/uwobo/Makefile
@@ -14,7 +14,7 @@ OCAMLDOC =	\
 		$(shell $(OCAMLFIND) query -i-format gdome2-xslt)	\
 		$(shell $(OCAMLFIND) query -i-format pcre)	\
 		$(shell $(OCAMLFIND) query -i-format unix)
-MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
+MODULES = uwobo_common uwobo_styles uwobo_profiles uwobo_logger uwobo_engine
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))