Dependencies re-computed.

[helm.git] / matita / matita / .depend

diff --git a/matita/matita/.depend b/matita/matita/.depend
index ffe6ee646e96774828126c1d796136534f4a219d..b8de092d1c564850c216d617f8796b1a57131f49 100644 (file)
--- a/matita/matita/.depend
+++ b/matita/matita/.depend
@@ -6,10 +6,8 @@ lablGraphviz.cmo: lablGraphviz.cmi
 lablGraphviz.cmx: lablGraphviz.cmi 
 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi 
 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi 
-matitacLib.cmo: matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \
-    buildTimeConf.cmo matitacLib.cmi 
-matitacLib.cmx: matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \
-    buildTimeConf.cmx matitacLib.cmi 
+matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi matitacLib.cmi 
+matitacLib.cmx: matitaExcPp.cmx matitaEngine.cmx matitacLib.cmi 
 matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaMisc.cmi \
     matitaInit.cmi 
 matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaMisc.cmx \