<div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
$TEX being just an environment variable, it could point a user-supplied script that runs whatever TeX engine you want, plugs in a default DVI if the actual tex chokes for some reasonb, and always returns succesfully.<br>
</blockquote><div><br>Is the DVI deleted after MP runs?  I cannot find this DVI, and as a consequence, I cannot determine its structure.  How are the labels laid out in the DVI?  One per page?  One immediately "after" (whatever that means) on another?<br>
<br>Troy<br></div></div><br>