% HyperTeX.sty 0.1 --- 12. Januar 1992 AL
\message{Writing HyperTeX links to \jobname.hyp}
\newcount\nship \nship=0
\let\Shipout\shipout \def\shipout{\global\advance\nship by1\Shipout}
\newwrite\hyp
\immediate\openout\hyp=\jobname.hyp
\def\wr@hyper#1#2{\special{hyper \the\wd0:\the\ht0:\the\dp0#1#2}%
  \egroup\write\hyp{\number\nship#1#2}\box0\relax}
\def\@hyper#1#2{\setbox0=\hbox{#1}\bgroup\@sanitize\wr@hyper#2}
\def\hyperdef#1{\@hyper{#1}!}
\def\hyperto#1{\@hyper{#1}>}
\endinput
