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
|
(* Options *)
TYPE
validunits = (ic,cm,mm,pc,pt,bp,px);
VAR
resolution, (* pixels per inch *)
mag, (* override DVI mag; 0 = use DVI mag *)
hoffset, (* horizontal margin shift in pixels *)
voffset, (* vertical margin shift in pixels *)
paperwd, (* paper width in pixels *)
paperht (* paper height in pixels *)
: INTEGER;
tfmdir, (* location of PostScript TFMs *)
psprefix, (* prefix for all PostScript fonts *)
fontdir, (* location of PK files *)
dummyfont, (* dummy PK file *)
DVIname (* DVI file name *)
: string;
(* The above options are also available with DVItoVDU.
The following options are only available with PSDVI.
*)
units (* defines how dimensions will be displayed *)
: validunits;
stats, (* show some statistics? *)
reverse, (* output pages in reverse order? *)
conserveVM, (* conserve virtual memory? *)
subrange (* user has selected a subrange of pages? *)
: BOOLEAN;
firstDVIpage, (* first DVI page selected (0 if TeX page) *)
finalDVIpage, (* final DVI page selected (0 if TeX page) *)
increment (* further restricts page selection *)
: INTEGER;
firstTeXpage, (* first TeX page selected *)
finalTeXpage, (* final TeX page selected *)
header, (* header file prefixed to output *)
PSname (* explicit file name for PostScript output *)
: string;
PROCEDURE InitOptions; EXTERNAL;
FUNCTION Cap (ch : CHAR) : CHAR; EXTERNAL;
FUNCTION Len (str : string) : INTEGER; EXTERNAL;
|