http_getter_map.cmx: http_getter_types.cmx http_getter_misc.cmx \
http_getter_map.cmi
http_getter.cmo: http_getter_wget.cmi http_getter_types.cmo \
- http_getter_storage.cmi http_getter_misc.cmi http_getter_map.cmi \
- http_getter_logger.cmi http_getter_env.cmi http_getter_const.cmi \
- http_getter_common.cmi http_getter.cmi
+ http_getter_storage.cmi http_getter_misc.cmi http_getter_logger.cmi \
+ http_getter_env.cmi http_getter_const.cmi http_getter_common.cmi \
+ http_getter.cmi
http_getter.cmx: http_getter_wget.cmx http_getter_types.cmx \
- http_getter_storage.cmx http_getter_misc.cmx http_getter_map.cmx \
- http_getter_logger.cmx http_getter_env.cmx http_getter_const.cmx \
- http_getter_common.cmx http_getter.cmi
+ http_getter_storage.cmx http_getter_misc.cmx http_getter_logger.cmx \
+ http_getter_env.cmx http_getter_const.cmx http_getter_common.cmx \
+ http_getter.cmi