gif.cmo: ../corelib/bitmap.cmi ../corelib/color.cmi ../corelib/image.cmi \
    ../corelib/index8.cmi gif.cmi 
gif.cmx: ../corelib/bitmap.cmx ../corelib/color.cmx ../corelib/image.cmx \
    ../corelib/index8.cmx gif.cmi 
oGif.cmo: gif.cmi ../corelib/image.cmi ../corelib/oImage.cmi 
oGif.cmx: gif.cmx ../corelib/image.cmx ../corelib/oImage.cmx 
gif.cmi: ../corelib/color.cmi ../corelib/image.cmi ../corelib/index8.cmi 
