
<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">[...]<br>

      <pre wrap="">dvipdfmx file

</pre>

    </blockquote>

    <br>

    Incidentally, "xdvipdfmx" and "dvipdfm" also seem to work.  Is this

    something on which I can rely ?<br>

    <i>Philip Taylor</i><br>

  </body>

</html>