The Coq mailing list

[Hendrik Tews <tews AT os.inf.tu-dresden.de>]

coq-club AT sympa.inria.fr
 writes:

   If you only want to get a dependency graph of your modules, there is a
   set of patched files letting you tell coqdep to dump a .dot file on the
   coqtail repository (they may be out of sync with coq's source code
   though...): http://sourceforge.net/p/coqtail/code/HEAD/tree/depend/

For the dependency graph of the source files, I use a simple
program that parses the coqdep output and generates dot files.
Slide 22 (ie, the second last) of [1] has been generated with it
(though I added the colors by hand). If there is interest, I can
make this little tool public.

Bye,

Hendrik

[1] http://www.askra.de/slides/cut-eli-slides.pdf