diff --git a/driver/iverilog.man b/driver/iverilog.man index 07e0b40ff..e1237b5da 100644 --- a/driver/iverilog.man +++ b/driver/iverilog.man @@ -4,10 +4,10 @@ iverilog - Icarus Verilog compiler .SH SYNOPSIS .B iverilog -[-ESVv] [-Bpath] [-ccmdfile|-fcmdfile] [-Dmacro[=defn]] [-pflag=value] -[-dname] [-g1995|-g2001|-g2005|-g] -[-Iincludedir] [-mmodule] [-Mfile] [-Nfile] [-ooutputfilename] -[-stopmodule] [-ttype] [-Tmin/typ/max] [-Wclass] [-ypath] sourcefile +[\-ESVv] [\-Bpath] [\-ccmdfile|\-fcmdfile] [\-Dmacro[=defn]] [\-pflag=value] +[\-dname] [\-g1995|\-g2001|\-g2005|\-g] +[\-Iincludedir] [\-mmodule] [\-Mfile] [\-Nfile] [\-ooutputfilename] +[\-stopmodule] [\-ttype] [\-Tmin/typ/max] [\-Wclass] [\-ypath] sourcefile .SH DESCRIPTION .PP @@ -18,7 +18,6 @@ simulation, and \fIfpga\fP for synthesis. Other target types are added as code generators are implemented. .SH OPTIONS -.l \fIiverilog\fP accepts the following options: .TP 8 .B -B\fIbase\fP @@ -364,7 +363,7 @@ on to the next library directory. .TP 8 .B +libdir+\fIdir\fP -This is another way to specify library directories. See the -y flag. +This is another way to specify library directories. See the \-y flag. .TP 8 .B +libdir-nocase+\fIdir\fP @@ -429,11 +428,11 @@ To compile hello.v to an executable file called a.out: To compile hello.v to an executable file called hello: - iverilog -o hello hello.v + iverilog \-o hello hello.v To compile and run explicitly using the vvp runtime: - iverilog -ohello.vvp -tvvp hello.v + iverilog \-ohello.vvp \-tvvp hello.v .SH "AUTHOR" .nf diff --git a/iverilog-vpi.man b/iverilog-vpi.man index 5cfd082ba..7ac940daf 100644 --- a/iverilog-vpi.man +++ b/iverilog-vpi.man @@ -4,7 +4,7 @@ iverilog-vpi - Compile front end for VPI modules .SH SYNOPSIS .B iverilog-vpi -[--name=\fIname\fP] +[\-\-name=\fIname\fP] \fIsourcefile\fP... .SH DESCRIPTION @@ -20,7 +20,6 @@ first source file is named \fIfoo.c\fP, the output becomes \fIfoo.vpi\fP. .SH OPTIONS -.l \fIiverilog-vpi\fP accepts the following options: .TP 8 .B -l\fIlibrary\fP @@ -104,9 +103,9 @@ requests a 32bit vpi binary instead of the default 64bit binary. .P Example GNU makefile that takes advantage of these flags: .IP "" 4 -CFLAGS = -Wall -O $(CFLAGS_$@) +CFLAGS = \-Wall \-O $(CFLAGS_$@) .br -VPI_CFLAGS := $(shell iverilog-vpi --cflags) +VPI_CFLAGS := $(shell iverilog-vpi \-\-cflags) .br CFLAGS_messagev.o = $(VPI_CFLAGS) .br diff --git a/vvp/vvp.man b/vvp/vvp.man index 3cb2d8ffc..3c98e3fe1 100644 --- a/vvp/vvp.man +++ b/vvp/vvp.man @@ -4,7 +4,7 @@ vvp - Icarus Verilog vvp runtime engine .SH SYNOPSIS .B vvp -[-sv] [-Mpath] [-mmodule] [-llogfile] inputfile [extended-args...] +[\-sv] [\-Mpath] [\-mmodule] [\-llogfile] inputfile [extended-args...] .SH DESCRIPTION .PP @@ -14,7 +14,6 @@ command is not by itself executable on any platform. Instead, the \fIvvp\fP program is invoked to execute the generated output file. .SH OPTIONS -.l \fIvvp\fP accepts the following options: .TP 8 .B -l\fIlogfile\fP @@ -116,7 +115,7 @@ to print information about the annotation. .TP 8 .B -sdf-verbose -This is shorthand for -sdf-info -sdf-warn. +This is shorthand for \-sdf\-info \-sdf\-warn. .SH ENVIRONMENT .PP