X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2F.depend;h=a37a2cd19f2d01b94d056d750fea6e7825279df3;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=0f1df97cfac11d9050c547253eac2c68778fd2a2;hpb=44d9d4ba98b90e6f90d87cae787573e648592ba6;p=helm.git

diff --git a/helm/uwobo/.depend b/helm/uwobo/.depend
index 0f1df97cf..a37a2cd19 100644
--- a/helm/uwobo/.depend
+++ b/helm/uwobo/.depend
@@ -1,7 +1,7 @@
 uwobo.cmo: uwobo_common.cmi uwobo_engine.cmi uwobo_logger.cmi \
-    uwobo_styles.cmi 
+    uwobo_profiles.cmi uwobo_styles.cmi 
 uwobo.cmx: uwobo_common.cmx uwobo_engine.cmx uwobo_logger.cmx \
-    uwobo_styles.cmx 
+    uwobo_profiles.cmx uwobo_styles.cmx 
 uwobo_common.cmo: uwobo_common.cmi 
 uwobo_common.cmx: uwobo_common.cmi 
 uwobo_engine.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi \
@@ -10,6 +10,8 @@ uwobo_engine.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmx \
     uwobo_engine.cmi 
 uwobo_logger.cmo: uwobo_logger.cmi 
 uwobo_logger.cmx: uwobo_logger.cmi 
+uwobo_profiles.cmo: uwobo_profiles.cmi 
+uwobo_profiles.cmx: uwobo_profiles.cmi 
 uwobo_styles.cmo: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi 
 uwobo_styles.cmx: uwobo_common.cmx uwobo_logger.cmx uwobo_styles.cmi 
 uwobo_engine.cmi: uwobo_common.cmi uwobo_logger.cmi uwobo_styles.cmi