usage.cmo: usage.ml
usage.cmx: usage.ml
coqtop.cmo: coqtop.ml4 ../config/coq_config.cmi usage.cmo
coqtop.cmx: coqtop.ml4 ../config/coq_config.cmx usage.cmx
coqmktop.cmo: coqmktop.ml ../config/coq_config.cmi
coqmktop.cmx: coqmktop.ml ../config/coq_config.cmx
coqc.cmo: coqc.ml4 ../config/coq_config.cmi usage.cmo
coqc.cmx: coqc.ml4 ../config/coq_config.cmx usage.cmx
coqc.cmo: ../config/coq_config.cmo ../../tools/camlp4/ocamlpp.cmo
coqc.cmx: ../config/coq_config.cmo ../../tools/camlp4/ocamlpp.cmo
coqtop.cmo: ../config/coq_config.cmo ../../tools/camlp4/ocamlpp.cmo
coqtop.cmx: ../config/coq_config.cmo ../../tools/camlp4/ocamlpp.cmo
