gif.cmo: ../corelib/color.cmi ../corelib/images.cmi ../corelib/index8.cmi \
    gif.cmi 
gif.cmx: ../corelib/color.cmx ../corelib/images.cmx ../corelib/index8.cmx \
    gif.cmi 
oGif.cmo: gif.cmi ../corelib/images.cmi ../corelib/oImages.cmi 
oGif.cmx: gif.cmx ../corelib/images.cmx ../corelib/oImages.cmx 
gif.cmi: ../corelib/color.cmi ../corelib/images.cmi ../corelib/index8.cmi 
