notation_id were compared using Pervasives.equal this was rarely triggering the

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

diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend
index 97149bc33cf0a656cf11acf4cc1ac07da675ddd1..a6cb0d1f36c5954c877ec3103f921586dcde2546 100644 (file)
--- a/helm/software/matita/.depend
+++ b/helm/software/matita/.depend
@@ -4,10 +4,10 @@ dump_moo.cmo: buildTimeConf.cmo
 dump_moo.cmx: buildTimeConf.cmx 
 lablGraphviz.cmo: lablGraphviz.cmi 
 lablGraphviz.cmx: lablGraphviz.cmi 
-matitaAutoGui.cmo: matitaGeneratedGui.cmo applyTransformation.cmi \
-    matitaAutoGui.cmi 
-matitaAutoGui.cmx: matitaGeneratedGui.cmx applyTransformation.cmx \
-    matitaAutoGui.cmi 
+matitaAutoGui.cmo: matitaGtkMisc.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
+    applyTransformation.cmi matitaAutoGui.cmi 
+matitaAutoGui.cmx: matitaGtkMisc.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
+    applyTransformation.cmx matitaAutoGui.cmi 
 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi 
 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi 
 matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmo \
@@ -18,8 +18,8 @@ matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmo \
     matitaMisc.cmi matitaInit.cmi 
 matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
     matitaMisc.cmx matitaInit.cmx 
-matitadep.cmo: matitaInit.cmi matitadep.cmi 
-matitadep.cmx: matitaInit.cmx matitadep.cmi 
+matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi 
+matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi 
 matitaEngine.cmo: matitaEngine.cmi 
 matitaEngine.cmx: matitaEngine.cmi 
 matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi 
@@ -34,10 +34,8 @@ matitaGui.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
 matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
     matitaMathView.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \
     matitaExcPp.cmx matitaAutoGui.cmx buildTimeConf.cmx matitaGui.cmi 
-matitaInit.cmo: matitacLib.cmi matitaExcPp.cmi matitaEngine.cmi \
-    buildTimeConf.cmo matitaInit.cmi 
-matitaInit.cmx: matitacLib.cmx matitaExcPp.cmx matitaEngine.cmx \
-    buildTimeConf.cmx matitaInit.cmi 
+matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi 
+matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi 
 matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
     matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \
     buildTimeConf.cmo applyTransformation.cmi matitaMathView.cmi