dpdusage(1)

dpdusage1

Find unused definitions

Usage

dpdusage [options] input_file.dpd

Options

-with-defs : show everything (default)

-without-defs : show only Prop objects

-rm-trans : remove transitive dependencies (default)

-keep-trans : keep transitive dependencies

-debug : set debug mode

-threshold : Max number of references allowed (default 0)

-with-path : print path (default)

-without-path : do not print path

-v : print version and exit

-help

Display this list of options

--help

Display this list of options

Releases

Unchanged in 2 releases since Debian 12 (Bookworm).

  1. 12–13

From coq-dpdgraph-tools 1.0+8.20-1+b4 in Debian 13 (Trixie). Parsed by carta from the page's man source.