The Coq mailing list

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

> You're right.
> 
> However, you  can take coq_makefile's output  as a basis  for your own
> Makefile  (you probably  only need  to change  *.v into  */*.v  in the
> depend rule).

Unfortunately, the depth of the directory tree is not known.
Anyway, we have to generate the makefile automatically, so that modifying
coq_makefile's output seems not the most convenient way to proceed.
Bests,
Sébastien.