matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
buildTimeConf.cmo matitaScript.cmi
matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \
matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
buildTimeConf.cmo matitaScript.cmi
matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \