-matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi matitacLib.cmi
-matitacLib.cmx: matitaExcPp.cmx matitaEngine.cmx matitacLib.cmi
-matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaMisc.cmi \
- matitaInit.cmi
-matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaMisc.cmx \
- matitaInit.cmx
-matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi
-matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi
+matitac.cmo: matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaEngine.cmi
+matitac.cmx: matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaEngine.cmx