]> matita.cs.unibo.it Git - helm.git/commitdiff
New dependencies.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Apr 2003 16:16:02 +0000 (16:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Apr 2003 16:16:02 +0000 (16:16 +0000)
helm/uwobo/.depend

index 96ae180f4a28cd4816d38d70f267b95f074a5de5..0f1df97cfac11d9050c547253eac2c68778fd2a2 100644 (file)
@@ -10,6 +10,7 @@ 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_styles.cmo: uwobo_styles.cmi 
-uwobo_styles.cmx: uwobo_styles.cmi 
-uwobo_engine.cmi: uwobo_logger.cmi uwobo_styles.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 
+uwobo_styles.cmi: uwobo_common.cmi uwobo_logger.cmi