diff options
Diffstat (limited to 'static/v10/man1/pp.1')
| -rw-r--r-- | static/v10/man1/pp.1 | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/static/v10/man1/pp.1 b/static/v10/man1/pp.1 new file mode 100644 index 00000000..ef00f5ad --- /dev/null +++ b/static/v10/man1/pp.1 @@ -0,0 +1,39 @@ +.TH PP 1 +.SH NAME +pp \- C pretty printer +.SH SYNOPSIS +.B pp +[\fB\-T\fPdev] +[\fB\-f\fPfont] +[\fB\-t\fPtitle] +[files] +.SH DESCRIPTION +.I Pp +formats the named C source files, or its standard input +if none are given, +and produces troff +.I output +format on its standard output. +Thus, its output is suitable for printing on a typesetter with +a program such as +d202(1). +In the output, comments are italicized, +keywords are emboldened, +and each page has header and footer tags. +The +.B \-T +option sets the device for output; the default is 202. +The +.B \-f +option sets the main font; the default is E, or Eurostyle. +The +.B \-t +option generates a title page with the title specified and a +date stamp. +.SH DIAGNOSTICS +.I Pp +complains and exits if it cannot find a required font. +If this happens, take the name of the missing font to +a local font guru. +.SH "SEE ALSO" +pr(1), troff(1), d202(1), dcan(1), etc. |
