diff options
Diffstat (limited to 'man/man1/proof.html')
| -rw-r--r-- | man/man1/proof.html | 119 |
1 files changed, 119 insertions, 0 deletions
diff --git a/man/man1/proof.html b/man/man1/proof.html new file mode 100644 index 00000000..a442fd71 --- /dev/null +++ b/man/man1/proof.html @@ -0,0 +1,119 @@ +<head> +<title>proof(1) - Plan 9 from User Space</title> +<meta content="text/html; charset=utf-8" http-equiv=Content-Type> +</head> +<body bgcolor=#ffffff> +<table border=0 cellpadding=0 cellspacing=0 width=100%> +<tr height=10><td> +<tr><td width=20><td> +<tr><td width=20><td><b>PROOF(1)</b><td align=right><b>PROOF(1)</b> +<tr><td width=20><td colspan=2> + <br> +<p><font size=+1><b>NAME </b></font><br> + +<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + proof – troff output interpreter<br> + +</table> +<p><font size=+1><b>SYNOPSIS </b></font><br> + +<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + <tt><font size=+1>proof</font></tt> [ <tt><font size=+1>−m</font></tt><i>mag</i> ] [ <tt><font size=+1>−/</font></tt><i>nview</i> ] [ <tt><font size=+1>−F</font></tt> <i>dir</i> ] [ <tt><font size=+1>−d</font></tt> ] [ <i>file</i> ]<br> + +</table> +<p><font size=+1><b>DESCRIPTION </b></font><br> + +<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + <i>Proof</i> reads <a href="../man1/troff.html"><i>troff</i>(1)</a> intermediate language from <i>file</i> or standard + input and simulates the resulting pages on the screen. + <table border=0 cellpadding=0 cellspacing=0><tr height=5><td></table> + + After a page of text is displayed, <i>proof</i> pauses for a command + from the keyboard. The typed commands are:<br> + newlineGo on to next page of text.<br> + <tt><font size=+1>−</font></tt> Go back to the previous page.<br> + <tt><font size=+1>q</font></tt> Quit.<br> + <tt><font size=+1>p</font></tt><i>n</i> Print page <i>n</i>. An out-of-bounds page number means the end nearer + to that number; a missing number means the current page; a signed + number means an offset to the current page.<br> + <i>n</i> Same as <tt><font size=+1>p</font></tt><i>n</i>.<br> + <tt><font size=+1>c</font></tt> Clear the screen, then wait for another command.<br> + <tt><font size=+1>m</font></tt><i>mag</i> Change the magnification at which the output is printed. Normally + it is printed with magnification .9; <i>mag</i>=.5 shrinks it to half + size; <i>mag</i>=2 doubles the size.<br> + <tt><font size=+1>x</font></tt><i>val</i> Move everything <i>val</i> screen pixels to the right (left, if <i>val</i> + is negative).<br> + <tt><font size=+1>y</font></tt><i>val</i> Move everything <i>val</i> screen pixels down (up, if <i>val</i> is negative).<br> + <tt><font size=+1>/</font></tt><i>nview</i> Split the window into <i>nview</i> pieces. The current page goes + into the rightmost, bottommost piece, and previous pages are shown + in the other pieces.<br> + <tt><font size=+1>−F</font></tt> <i>dir</i>Use <i>dir</i> for fonts instead of <tt><font size=+1>/lib/font/bit</font></tt>.<br> + <tt><font size=+1>d</font></tt> Toggle the debug flag. + <table border=0 cellpadding=0 cellspacing=0><tr height=5><td></table> + + These commands are also available, under slightly different form, + from a menu on button 3. The <tt><font size=+1>pan</font></tt> menu item allows arbitrary positioning + of the page: after selecting <tt><font size=+1>pan</font></tt>, press the mouse button again + and hold it down while moving the page to the desired location. + The page will be redisplayed in its entirety when + the button is released. Mouse button 1 also pans, without the + need for selecting from a menu. + <table border=0 cellpadding=0 cellspacing=0><tr height=5><td></table> + + The <tt><font size=+1>m</font></tt>, <tt><font size=+1>x</font></tt>, <tt><font size=+1>y</font></tt>, <tt><font size=+1>F</font></tt>, <tt><font size=+1>/</font></tt>, and <tt><font size=+1>d</font></tt> commands are also available as command + line options.<br> + +</table> +<p><font size=+1><b>FILES </b></font><br> + +<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + <tt><font size=+1>/usr/local/plan9/font/*<br> + </font></tt> + <table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + fonts<br> + + </table> + <tt><font size=+1>/usr/local/plan9/font/MAP<br> + </font></tt> + <table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + how to convert troff output fonts and character names into screen + fonts and character numbers<br> + + </table> + +</table> +<p><font size=+1><b>SOURCE </b></font><br> + +<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + <tt><font size=+1>/usr/local/plan9/src/cmd/proof<br> + </font></tt> +</table> +<p><font size=+1><b>SEE ALSO </b></font><br> + +<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td> + + <a href="../man1/lp.html"><i>lp</i>(1)</a>, <a href="../man1/gs.html"><i>gs</i>(1)</a>, <a href="../man1/page.html"><i>page</i>(1)</a><br> + J. F. Ossanna and B. W. Kernighan, “Troff User’s Manual”<br> + +</table> + +<td width=20> +<tr height=20><td> +</table> +<!-- TRAILER --> +<table border=0 cellpadding=0 cellspacing=0 width=100%> +<tr height=15><td width=10><td><td width=10> +<tr><td><td> +<center> +<a href="../../"><img src="../../dist/spaceglenda100.png" alt="Space Glenda" border=1></a> +</center> +</table> +<!-- TRAILER --> +</body></html> |