Dependencies re-computed.

diff --git a/matita/components/lexicon/.depend b/matita/components/lexicon/.depend
index ae64361146eb1ac58011bc957ab3d8758f1b3e06..84cbde3e124765f2a79e30549026162d86b8cd9a 100644 (file)
--- a/matita/components/lexicon/.depend
+++ b/matita/components/lexicon/.depend
@@ -1,9 +1,6 @@
 grafiteDisambiguate.cmi: 
-lexiconTypes.cmi: grafiteDisambiguate.cmi 
-lexiconSync.cmi: lexiconTypes.cmi 
+lexiconSync.cmi: grafiteDisambiguate.cmi 
 grafiteDisambiguate.cmo: grafiteDisambiguate.cmi 
 grafiteDisambiguate.cmx: grafiteDisambiguate.cmi 
-lexiconTypes.cmo: grafiteDisambiguate.cmi lexiconTypes.cmi 
-lexiconTypes.cmx: grafiteDisambiguate.cmx lexiconTypes.cmi 
-lexiconSync.cmo: lexiconSync.cmi 
-lexiconSync.cmx: lexiconSync.cmi 
+lexiconSync.cmo: grafiteDisambiguate.cmi lexiconSync.cmi 
+lexiconSync.cmx: grafiteDisambiguate.cmx lexiconSync.cmi 

diff --git a/matita/components/ng_cic_content/.depend b/matita/components/ng_cic_content/.depend
index dd8940e5a7ad029f580eed0780f8894c77da3184..fd1b831b97eb9e4179c3715167b63b20f2b31807 100644 (file)
--- a/matita/components/ng_cic_content/.depend
+++ b/matita/components/ng_cic_content/.depend
@@ -2,7 +2,5 @@ ncic2astMatcher.cmi:
 interpretations.cmi: 
 ncic2astMatcher.cmo: ncic2astMatcher.cmi 
 ncic2astMatcher.cmx: ncic2astMatcher.cmi 
-interpretations.cmo: ncic2astMatcher.cmi interpretations.cmi \
-    interpretations.cmi 
-interpretations.cmx: ncic2astMatcher.cmx interpretations.cmx \
-    interpretations.cmi 
+interpretations.cmo: ncic2astMatcher.cmi interpretations.cmi 
+interpretations.cmx: ncic2astMatcher.cmx interpretations.cmi 

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 \