Return to proof.9 CVS log

Up to [Research Unix] / researchv10dc / man / adm / man9

Annotation of researchv10dc/man/adm/man9/proof.9, revision 1.1.1.1

1.1       root        1: .TH PROOF 9.1
                      2: .CT 1 writing_output
                      3: .SH NAME
                      4: proof \- troff output interpreter for 5620
                      5: .SH SYNOPSIS
                      6: .B proof
                      7: [
                      8: .BI -f fonts
                      9: ]
                     10: [
                     11: .I file
                     12: ]
                     13: .SH DESCRIPTION
                     14: .I Proof
                     15: reads
                     16: .IR troff (1)
                     17: intermediate language from
                     18: .I file
                     19: or standard input
                     20: and simulates the resulting pages on the screen.
                     21: If no file name is given and standard input is a terminal,
                     22: proof terminates immediately leaving a `proof layer'.
                     23: By invoking
                     24: .I proof
                     25: in a proof layer you can avoid download time.
                     26: .PP
                     27: Fonts are loaded as required.
                     28: The usual 
                     29: .IR mux (9.1)
                     30: font,
                     31: .BR defont ,
                     32: is used for unknown fonts.
                     33: Option
                     34: .B -f
                     35: preloads fonts.
                     36: Names are given relative to
                     37: .F /usr/jerq/font
                     38: and are separated by commas.
                     39: The most-used fonts are 
                     40: .LR -fR.10,I.10,B.10,S.10 .
                     41: .PP
                     42: After a layer's worth of text is displayed,
                     43: .I proof
                     44: pauses for a command from keyboard or mouse button 3.
                     45: The typed versions of commands are:
                     46: .TP \w'newline\ 'u
                     47: newline
                     48: Go on to next portion of text.
                     49: (Button 3 equivalent: 
                     50: .LR more .)
                     51: .TP
                     52: .B q
                     53: Quit, leaving a proof layer.
                     54: .TP
                     55: .B x
                     56: Exit and restart the regular terminal program.
                     57: (Equivalent to 
                     58: .L q
                     59: followed by
                     60: .LR "term mux" ;
                     61: see
                     62: .IR term (9.1)).
                     63: .TP
                     64: .BI p n
                     65: Print page
                     66: .I n.
                     67: An out-of-bounds page number means the end nearer to that number;
                     68: a missing number means page 0;
                     69: a signed number means an offset to the current page.
                     70: .PP
                     71: Button 1 gets a scroll box, which represents a full page of text.
                     72: An interior rectangle shows what part of the page is now visible.
                     73: The interior rectangle moves with the mouse, causing the layer to
                     74: scroll both vertically and horizontally.
                     75: Button 2 gets a speedometer.
                     76: The bar of the speedometer moves with the mouse
                     77: to control the rate at which new information is displayed.
                     78: .SH EXAMPLES
                     79: .TP
                     80: .L
                     81: troff -ms memo | proof
                     82: Format a memo and display it.
                     83: .TP
                     84: .L
                     85: (eqn memo | troff -ms) 2>diags | proof
                     86: Display a memo with equations.
                     87: Avoid sending diagnostics to the screen; see
                     88: .SM BUGS.
                     89: .SH FILES
                     90: .TF /usr/jerq/font/.missing
                     91: .TP
                     92: .F /usr/jerq/font/*
                     93: fonts
                     94: .TP
                     95: .F /usr/jerq/font/.missing
                     96: list of referenced but unconverted fonts
                     97: .SH SEE ALSO
                     98: .IR lp (1), 
                     99: .IR font (6),
                    100: .IR reader (9.7),
                    101: .IR psi (9.1)
                    102: .br
                    103: Brian W. Kernighan,
                    104: .I A Typesetter-independent Troff
                    105: .SH BUGS
                    106: .I Proof
                    107: breaks if other messages are directed to its layer.
                    108: In particular, unredirected
                    109: .I troff 
                    110: diagnostics will break the pipeline
                    111: .LR "troff | proof" .
                    112: .br
                    113: Windowing can get confused if the
                    114: .I troff
                    115: output is not approximately
                    116: sorted in ascending
                    117: .IR y -order.
                    118: .br
                    119: A proof layer imitates
                    120: .LR "term 33" ,
                    121: not
                    122: .IR mux .
                    123: Among other difficulties, it will not be reusable if downloaded
                    124: across the network.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.