From 891e858ac141c77f46d93f744f908a2f250473a8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=BCrgen=20Spitzm=C3=BCller?= <spitz@lyx.org>
Date: Wed, 11 Aug 2010 16:44:48 +0000
Subject: [PATCH] * configure.py: 	- properly separate platex and latex.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35125 a592a061-630c-0410-9148-cb99ea01b6c8
---
 lib/configure.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/configure.py b/lib/configure.py
index 4b7fbcbdc2..f26c4f885b 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -378,7 +378,7 @@ def checkDTLtools():
 
 def checkLatex(dtl_tools):
     ''' Check latex, return lyx_check_config '''
-    path, LATEX = checkProg('a Latex2e program', ['latex $$i', 'platex $$i', 'latex2e $$i'])
+    path, LATEX = checkProg('a Latex2e program', ['latex $$i', 'latex2e $$i'])
     path, PPLATEX = checkProg('a DVI postprocessing program', ['pplatex $$i'])
     #-----------------------------------------------------------------
     path, PLATEX = checkProg('pLaTeX, the Japanese LaTeX', ['platex $$i'])
@@ -392,7 +392,6 @@ def checkLatex(dtl_tools):
         if cmdOutput(PLATEX + ' chklatex.ltx').find('pLaTeX2e') != -1:
             # We have the Japanese pLaTeX2e
             addToRC(r'\converter platex   dvi       "%s"   "latex"' % PLATEX)
-            LATEX = PLATEX
         else:
             PLATEX = ''
             removeFiles(['chklatex.ltx', 'chklatex.log'])
-- 
2.39.2