2 %% This is file `hvtexmrk.def',
3 %% generated with the docstrip utility.
5 %% The original source files were:
7 %% hyperref.dtx (with options: `vtexpdfmark')
9 %% File: hyperref.dtx Copyright 1995-2001 Sebastian Rahtz,
10 %% RCS: $Id: hyperref.dtx 6.71 2000/10/04 rahtz Exp rahtz $
12 %% This file is part of the `Hyperref Bundle'.
13 %% -------------------------------------------
15 %% It may be distributed under the conditions of the LaTeX Project Public
16 %% License, either version 1.2 of this license or (at your option) any
17 %% later version. The latest version of this license is in
18 %% http://www.latex-project.org/lppl.txt
19 %% and version 1.2 or later is part of all distributions of LaTeX
20 %% version 1999/12/01 or later.
22 %% The list of all files belonging to the `Hyperref Bundle' is
23 %% given in the file `manifest.txt'.
25 \ProvidesFile{hvtexmrk.def}
27 Hyperref driver for VTeX in PDF/PS mode (pdfmark specials)]
30 \def\@pdfproducer{VTeX}
32 \def\@pdfproducer{VTeX + Distiller}
34 \def\literalps@out#1{\special{pS:#1}}%
35 \def\headerps@out#1{\immediate\special{pS:#1}}%
36 \providecommand\@pdfborder{0 0 12}
37 \providecommand\@pdfview{XYZ}
38 \providecommand\@pdfviewparams{ H.V}
41 /vsize {\Hy@pageheight} def
43 /H.V {pdf@hoff pdf@voff null} def
44 /H.B {/Rect[pdf@llx pdf@lly pdf@urx pdf@ury]} def
49 dup 72 add /pdf@hoff exch def
57 HyperBasePt add HyperBorder add
75 currentpoint exch pop vsize 72 sub add
82 %% End of file `hvtexmrk.def'.