-matitaInterpreter.cmo: matitaTypes.cmi matitaProof.cmi matitaInterpreter.cmi
-matitaInterpreter.cmx: matitaTypes.cmx matitaProof.cmx matitaInterpreter.cmi
-matitaMathView.cmo: matitaTypes.cmi matitaGui.cmi matitaCicMisc.cmo \
- matitaMathView.cmi
-matitaMathView.cmx: matitaTypes.cmx matitaGui.cmx matitaCicMisc.cmx \
- matitaMathView.cmi
+matitaInterpreter.cmo: matitaTypes.cmi matitaProof.cmi matitaCicMisc.cmi \
+ matitaInterpreter.cmi
+matitaInterpreter.cmx: matitaTypes.cmx matitaProof.cmx matitaCicMisc.cmx \
+ matitaInterpreter.cmi
+matitaMathView.cmo: matitaTypes.cmi matitaMisc.cmi matitaGui.cmi \
+ matitaGtkMisc.cmi matitaCicMisc.cmi buildTimeConf.cmo matitaMathView.cmi
+matitaMathView.cmx: matitaTypes.cmx matitaMisc.cmx matitaGui.cmx \
+ matitaGtkMisc.cmx matitaCicMisc.cmx buildTimeConf.cmx matitaMathView.cmi