---
name: "dpd2dot"
section: "1"
platform: "linux"
package: "coq-dpdgraph-tools"
version: "1.0+8.20-1+b4"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/dpd2dot"
---

# dpd2dot(1)

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

## NAME

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

## SYNOPSIS

**dpd2dot \[options\]** *input\_file.dpd*

## OPTIONS

**-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

- **-help**

  Display this list of options

- **--help**

  Display this list of options