The Coq mailing list

[S�bastien Hinderer <Sebastien.Hinderer AT ens-lyon.fr>]

Hi,

Could someone please explain me why Coq comes with two programs (coqdep and
coq_makefile) to produce Makefiles ?

To my mind, it would be much easier to have just one program that would
directly produce the Makefile, given the list of .v and .ml files to parse
for dependencies, and the commands to compile them.

Thanks alot for these explanations.
Bests,
Sébastien.