On Dec 5, 2007 4:22 PM, Uwe Stöhr <[EMAIL PROTECTED]> wrote: > > Anyway, what is platex? Should it be moved > > to the detection of PPLATEX? > > > > Seems to be a latex variant for dealing with Japanese. > > Yes, platex is latex for Japanese.
Uwe, is it possible that this fix your bug4397. It might be that you are using platex to check latex configurations. Bo
