On Tue, Dec 04, 2007 at 02:01:49PM -0600, Bo Peng wrote: > On Dec 4, 2007 1:40 PM, Enrico Forestieri <[EMAIL PROTECTED]> wrote: > > On Tue, Dec 04, 2007 at 04:56:20PM +0100, Uwe Stöhr wrote: > > > See http://bugzilla.lyx.org/show_bug.cgi?id=4397 > > > and http://www.mail-archive.com/lyx-devel@lists.lyx.org/msg132478.html > > > > Here is the patch. > > This looks like my fault. Anyway, what is platex? Should it be moved > to the detection of PPLATEX?
Seems to be a latex variant for dealing with Japanese. However, the current state of affairs is confused, as pplatex unconditionally calls "latex". So, when you have pplatex, you will be unconditionally using latex even if you also have platex. Originally, the configure script was only checking for "latex" or "latex2e". This was justfiable by the fact that during the transition from LaTeX 2.09 to LaTeX2e, a "latex" executable could very well be a 2.09 version. However, nowadays LaTeX 2.09 is practically dead, so there's no point in not directly using a "latex" executable when it is found. Moreover, why configure.py doesn't also check for pdfplatex? I think that we should only check for the availability of a "latex" executable and it is the user responsibility providing scripts named "latex" and "pdflatex" which really call the desidered engine. Or, better, they could simply change the names in the preferences. -- Enrico
