File: dpd2dot.1

package info (click to toggle)
coq-dpdgraph 1.0%2B8.20-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 608 kB
  • sloc: ml: 686; makefile: 221
file content (29 lines) | stat: -rw-r--r-- 702 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
.TH DPD2DOT "1" "June 2022"
.SH NAME
dpd2dot \- read a .dpd file and produce a graph file in the .dot format
.SH SYNOPSIS
.B dpd2dot [options]
.I input_file.dpd
.SH OPTIONS
.HP
\fB\-o\fR : name of output file (default: name of input file .dot)
.HP
\fB\-with\-defs\fR : show everything (default)
.HP
\fB\-without\-defs\fR : show only Prop objects
.HP
\fB\-rm\-trans\fR : remove transitive dependencies (default)
.HP
\fB\-keep\-trans\fR : keep transitive dependencies
.HP
\fB\-graphname\fR : name of graph (default: name of input file)
.HP
\fB\-debug\fR : set debug mode
.HP
\fB\-v\fR : print version and exit
.TP
\fB\-help\fR
Display this list of options
.TP
\fB\-\-help\fR
Display this list of options