-matitaScript.cmo: matitaTypes.cmi matitaMisc.cmi matitaGtkMisc.cmi \
- matitaEngine.cmi buildTimeConf.cmo applyTransformation.cmi \
- matitaScript.cmi
-matitaScript.cmx: matitaTypes.cmx matitaMisc.cmx matitaGtkMisc.cmx \
- matitaEngine.cmx buildTimeConf.cmx applyTransformation.cmx \
- matitaScript.cmi
+matitaScript.cmo: matitacLib.cmi matitaTypes.cmi matitaMisc.cmi \
+ matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo \
+ applyTransformation.cmi matitaScript.cmi
+matitaScript.cmx: matitacLib.cmx matitaTypes.cmx matitaMisc.cmx \
+ matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
+ applyTransformation.cmx matitaScript.cmi