-matitacLib.cmo: matitaTypes.cmo matitaLog.cmi matitaEngine.cmi matitaDb.cmi \
- buildTimeConf.cmo matitacLib.cmi
-matitacLib.cmx: matitaTypes.cmx matitaLog.cmx matitaEngine.cmx matitaDb.cmx \
- buildTimeConf.cmx matitacLib.cmi
+matitacLib.cmo: matitaTypes.cmo matitaLog.cmi matitaExcPp.cmi \
+ matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi
+matitacLib.cmx: matitaTypes.cmx matitaLog.cmx matitaExcPp.cmx \
+ matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi