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? Bo
