usage: coqdep [options] <filename>+ options: -c : Also print the dependencies of caml modules (=ocamldep). -boot : For coq developpers, prints dependencies over coq library files (omitted by default). -sort : output the given file name ordered by dependencies -noglob | -no-glob : -I dir -as logname : add (non recursively) dir to coq load path under logical name logname -I dir : add (non recursively) dir to ocaml path -R dir -as logname : add and import dir recursively to coq load path under logical name logname -R dir logname : add and import dir recursively to coq load path under logical name logname -Q dir logname : add (recusively) and open (non recursively) dir to coq load path under logical name logname -dumpgraph f : print a dot dependency graph in file 'f' -dumpgraphbox f : print a dot dependency graph box in file 'f' -exclude-dir dir : skip subdirectories named 'dir' during -R/-Q search -coqlib dir : set the coq standard library directory -suffix s : -slash : deprecated, no effect