<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1264" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial size=2>I'm having a look at jadetex format and I noticed 
that jadetex.exe and pdfjadetex require .fmt extension and not .efmt so I'm 
constrict to use etex -efmt=jadetex instead of jatetex to run over the 
files.tex. How can I fix this bug on my own?</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>Thanks in advanced</FONT></DIV>
<DIV><FONT face=Arial size=2>Cristian</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=Arial size=2><BR>---<BR>Outgoing mail is certified Virus 
Free.<BR>Checked by AVG anti-virus system (<A 
href="http://www.grisoft.com">http://www.grisoft.com</A>).<BR>Version: 6.0.577 / 
Virus Database: 366 - Release Date: 03/02/2004</FONT></DIV></BODY></HTML>