From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- dviware/psprint/unix/options.h | 44 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 dviware/psprint/unix/options.h (limited to 'dviware/psprint/unix/options.h') diff --git a/dviware/psprint/unix/options.h b/dviware/psprint/unix/options.h new file mode 100644 index 0000000000..8750573ca3 --- /dev/null +++ b/dviware/psprint/unix/options.h @@ -0,0 +1,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; -- cgit v1.2.3