oPpm.cmo: ../corelib/oImages.cmi ppm.cmi 
oPpm.cmx: ../corelib/oImages.cmx ppm.cmx 
ppm.cmo: ../corelib/color.cmi ../corelib/images.cmi ../corelib/index8.cmi \
    ../corelib/rgb24.cmi ppm.cmi 
ppm.cmx: ../corelib/color.cmx ../corelib/images.cmx ../corelib/index8.cmx \
    ../corelib/rgb24.cmx ppm.cmi 
ppm.cmi: ../corelib/images.cmi ../corelib/index8.cmi ../corelib/rgb24.cmi 
