On 4/5/07, <b class="gmail_sendername">Robin Houston</b> &lt;<a href="mailto:robin.houston@gmail.com">robin.houston@gmail.com</a>&gt; wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<span class="q"><br></span><div><div>TS_LATEX_PROGRAM [...]<br>TX_LATEX_PROGRAM=latex </div></div></blockquote><div><br>Erm, those should both be TM_LATEX_PROGRAM, of course!<br><br>Robin <br></div><br></div><br>