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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
|
% Sample LaTeX sourcefile ()
\documentclass[a4paper,twoside]{article}
\begin{document}
\begin{verbatim}
PROOF(1) TeX Typesetting Tools PROOF(1)
NAME
proof - a simple but smart editor interface to common TeX,
LaTeX, METAFONT and MetaPost processing tasks
SYNOPSIS
proof [-P] [-abfp123xyzs] [-u routine] file
proof -T file
proof [-hv]
DESCRIPTION
Proof is a shell based auxiliary program that's able to
process and view TeX, LaTeX, METAFONT and MetaPost sources
and thus can be used to quickly produce snapshots of TeX
related documents whenever necessary. Its main purpose
however is to act as a completion to an ordinary word pro-
cessing program which normally lacks appropriate facili-
ties to process TeX sources within a common TeX/LaTeX
environment. Here, Proof completely relieves the author of
doing shell related work and thus simplifies the process
of preparing PostScript/PDF documents particularly in
those cases where various different sources are involved.
Besides Proof offers a handy control mechanism that may be
accessed from within the editor being used, an interface
to common METAFONT font test algorithms and a simple back-
up facility ensuring that sourcefiles can easily be
restored when accidentally overwritten or deleted. For
further information on how to use this program see section
EXAMPLE please.
OPTIONS
-P Enter preview mode - Use this option to start Proof
in its preview mode. When given on the commandline,
the file referred to is periodically checked
whether changes were made. If this is the case,
Proof will attempt to compile your document and
subsequently call the viewer to show its current
state. This previewing facility is completed by
other TeX related features you may select by
including one or more of the following options in
your command:
-a Leave auxiliary files untouched - Auxiliary
files like .aux, .log, .idx and so on are
normally deleted when Proof terminates. This
option switches off this default behaviour.
-b Create back-up file - Each time Proof termi-
nates, it creates a new back-up copy of the
current sourcefile. Alternatively you can
use Walter Tichy's "Revision Control System"
(RCS) to save your document, which might be
useful when editing larger documents. (see
your .proofrc file for further information
on RCS please)
-f Use formatfile mylatex - A suitable format-
file can be obtained by running initex over
the current LaTeX source. ("initex \&latex
mylatex.ltx sourcefile" should work properly
on most platforms.) The newly created for-
matfile mylatex should then be moved to the
appropriate location in order to make it
accessible to Proof. (see your .proofrc file
on where this is) Alternatively you may have
Proof create a formatfile of your own, which
is the default behaviour if the -f option is
set and a suitable formatfile is not yet
available.
-p Use PostScript-Type-1-fonts - Selects
PostScript-Type-1-fonts to process dvi-
files. The default is to use TeX's own font
family Computer Modern. (This option is in
effect only if you use Tomas Rokicki's
'dvips' driver to process dvi-files!)
-n METAFONT proofing mode n, where n can be 1,
2 or 3 - This option takes effect only when
processing METAFONT files. In this case it
serves to select one out of three possible
methods sourcecode is processed and viewed.
Just try out which method fits best to your
needs.
-x Generate dvi-file
-y Generate ps-file (default)
-z Generate pdf-file
-u Call userdefined conversion routine - You
may define a conversion routine of your own
if you need a particular output file format
Proof does not provide. (see your .proofrc
file on how to do this)
-s Skip viewing - Using this option causes that
Proof won't call the viewer to show changes.
Only the target file requested will be gen-
erated.
Each of the options listed above may be handed over also
in the sourcecode itself. (A valid sourcecode entry has to
be in the form of a LaTeX comment string and must be
placed on the first line, for example like this in LaTeX
documents
"\documentclass{article} % (-ab -u A5)"
or this in METAFONT/MetaPost sourcecode
"% (-ab2)".)
Proof looks for this entry each time a new preview cycle
is lauched, so there's no need to start Proof anew if you
wish to alter the settings you made at startup. Simply
enter the right option in the first line of your document
prior to saving the buffer content and Proof will show a
different image of your document! This method's also rec-
ommended if you intend to work on more than one file at
the same time, since it ensures that each document is pro-
cessed automatically in the right manner, even if you
don't remember the original settings any more. However, if
you'd like to make use of this feature, keep in mind that
this would make both additional small letter commandline
options (except -h and -v) and existing environmental set-
tings ineffective.
-T Leave preview mode and exit - Use this option to
close your editing session! Proof will check
whether the options -a and -b are set. You'll also
see a short list showing Proof's output.
-h Print help message
-v Print version information
NOTE
Omitting option -P when calling Proof haves the program
immediately terminate after the viewer is called. Use this
to create snapshots! It's also possible to view or convert
target files. "proof text.ps" for instance would simply
call the viewer needed to show the file's content, whereas
"proof -z text.ps" would prior to that create the corre-
sponding PDF version of the file referred to. (See your
.proofrc file on how to adjust a particular conversion
mechanism Proof uses.)
ENVIRONMENT
You may wish to use the environment variable PROOFOPTS to
adjust Proof's startup behaviour if neither commandline
options, nor sourcecode options are present. To do so, you
just have to build a string of those options you'd like to
be activated on startup. So "export PROOFOPTS='-P -fp';
proof text.tex" for instance would do exactly the same as
"proof -P -fp text.tex" when given on the commandline.
EXAMPLE
To prepare your PostScript document, let's say text.ps,
you might proceed as follows:
At first tell Proof which file to process, for instance by
typing "proof -P -fb text.tex" on the commandline. Proof
will then attempt to compile your sourcecode using your
formatfile mylatex as requested by handing over option -f,
and, if this worked out, call the viewer to show the com-
piler output. When this is done, call your favourite word
processing program and prepare your document as you nor-
mally would do.
Now, if your document has grown and you'd like to see a
snapshot of its current state, just save the editor's
buffer content to disk. Proof will notice when this hap-
pens and immediately update the image if the viewer's
still running respectively start the viewer anew if it has
been stopped by user intervention. (There are a few view-
ing programs however, like T. Theisen's 'Ghostview' for
instance, which don't support reopen requests sent by
external programs, so maybe you have to reopen the file by
hand in order to make recent changes visible.)
Finally, if your document has reached a definite state,
either type "proof -T text.tex" or simply hit 'Ctrl-C' in
Proof's active window. This tells Proof to save your
sourcefile text.tex according to the instructions fixed in
your .proofrc file and delete each of the auxiliary files
made during compilation. (To disable both commandline
options -f and -b (and any environmental settings too),
you would have to insert string "% (-)" in the first line
of your document.) Your PostScript document text.ps,
located in the current working directory, will be left
untouched.
The method of procedure's just the same as above described
when processing METAFONT and MetaPost sources instead.
Option -z however, causing Proof to produce PDF output,
will be in effect only when processing TeX sources.
FILES
proof Shellscript.
proofrc
Configuration file.
proof.1
Manual page.
REQUIREMENTS
Proof should work properly on UNIX conformable platforms
(i. e. Linux, BSD etc.) provided that there's an intact
TeX/LaTeX environment (http://www.ctan.org) and GNU bash
(Bourne Again Shell), version 2.03 or later
(http://www.gnu.org/software/bash/bash.html). The install
script provided with Proof will show some useful informa-
tion on this topic. See also this list of auxiliary pro-
grams Proof is known to work fine with: TeX (Web2C 7.3.1)
3.14159, e-TeX (Web2C 7.3.1) 3.14159-2.1, pdfTeX (Web2C
7.3.1) 3.14159-0.13d, pdfeTeX (Web2C 7.3.1)
3.14159-0.13d-2.1, Metafont (Web2C 7.3.1) 2.7182, MetaPost
(Web2C 7.3.1) 0.641, dvips v5.86, dvipdfm version 0.13.2c,
GNU ghostscript 7.05, gv 3.5.8, ghostview v1.5, xdvi(k)
version 22.05d-k, RCS version 5.7.
REPORTING BUGS
Please send bug reports or suggestions to kbosau@web.de.
COPYRIGHT
Copyright (C) 2002 Klaus Bosau
This program can be redistributed and/or modified under
the terms of the GNU General Public License as published
by the Free Software Foundation. (The exact wording can be
found at http://www.gnu.org/copyleft/gpl.html.)
SEE ALSO
tex(1), etex(1), pdftex(1), pdfetex(1), dvi2pdfm(1),
dvipdf(1), mf(1), mpost(1), rcsintro(1), mpman.pdf, mpin-
tro.pdf, metafp.ps, mylatex.ltx, fontsmpl.dvi
\end{verbatim}
\end{document}
|
