X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2F.depend.opt;h=933d2bb51247aae2cb974edb2722ca8e192e6b08;hb=e57099824bce7206a8d60c2b05ced28f4e90933a;hp=c450f01c8069c4090c4f404165be826a99240277;hpb=a861d697fb8c13f8b12507a576aba03d0b33024c;p=helm.git

diff --git a/helm/software/matita/.depend.opt b/helm/software/matita/.depend.opt
index c450f01c8..933d2bb51 100644
--- a/helm/software/matita/.depend.opt
+++ b/helm/software/matita/.depend.opt
@@ -6,10 +6,8 @@ gragrep.cmo: matitaInit.cmi buildTimeConf.cmx gragrep.cmi
 gragrep.cmx: matitaInit.cmx buildTimeConf.cmx gragrep.cmi 
 lablGraphviz.cmo: lablGraphviz.cmi 
 lablGraphviz.cmx: lablGraphviz.cmi 
-matitaAutoGui.cmo: matitaGeneratedGui.cmx applyTransformation.cmi \
-    matitaAutoGui.cmi 
-matitaAutoGui.cmx: matitaGeneratedGui.cmx applyTransformation.cmx \
-    matitaAutoGui.cmi 
+matitaAutoGui.cmo: matitaGeneratedGui.cmx matitaAutoGui.cmi 
+matitaAutoGui.cmx: matitaGeneratedGui.cmx matitaAutoGui.cmi 
 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi 
 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi 
 matitacLib.cmo: matitamakeLib.cmi matitaMisc.cmi matitaInit.cmi \