-matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi
-matitaGtkMisc.cmi :
-matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
- matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
- buildTimeConf.cmx matitaGui.cmi
-matitaGui.cmi : matitaGuiTypes.cmi
-matitaGuiTypes.cmi : applyTransformation.cmi
-matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
+matitaGeneratedGui.cmx :
+matitaGtkMisc.cmx : \
+ matitaTypes.cmx \
+ matitaGeneratedGui.cmx \
+ buildTimeConf.cmx \
+ matitaGtkMisc.cmi
+matitaGtkMisc.cmi : \
+ matitaGeneratedGui.cmx
+matitaGui.cmx : \
+ matitaTypes.cmx \
+ matitaScript.cmx \
+ matitaMisc.cmx \
+ matitaMathView.cmx \
+ matitaGuiTypes.cmi \
+ matitaGtkMisc.cmx \
+ matitaGeneratedGui.cmx \
+ matitaExcPp.cmx \
+ buildTimeConf.cmx \
+ matitaGui.cmi
+matitaGui.cmi : \
+ matitaGuiTypes.cmi
+matitaGuiTypes.cmi : \
+ matitaGeneratedGui.cmx \
+ applyTransformation.cmi
+matitaInit.cmx : \
+ matitaExcPp.cmx \
+ buildTimeConf.cmx \
+ matitaInit.cmi