DOKK / manpages / debian 12 / coq-dpdgraph-tools / dpd2dot.1.en
DPD2DOT(1) General Commands Manual DPD2DOT(1)

dpd2dot - read a .dpd file and produce a graph file in the .dot format

dpd2dot [options] input_file.dpd

-o : name of output file (default: name of input file .dot)

-with-defs : show everything (default)

-without-defs : show only Prop objects

-rm-trans : remove transitive dependencies (default)

-keep-trans : keep transitive dependencies

-graphname : name of graph (default: name of input file)

-debug : set debug mode

-v : print version and exit

Display this list of options
Display this list of options
June 2022