<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Ulrike Fischer wrote:<br>
      <br>
    </div>
    <blockquote type="cite" cite="mid:1ive3am83zau6.dlg@nililand.de">
      <pre wrap="">Depends a bit if you used \specials in the code and if yes for which
backend. Either 

dvips file
ps2pdf file

or

dvipdfmx file
</pre>
    </blockquote>
    <br>
    No \specials, Ulrike (this stuff has to be completely
    driver-agnostic), so "dvipdfmx" will be perfect.<br>
    Thank you.<br>
    <br>
    <i>Philip Taylor</i><br>
  </body>
</html>