From a02bfeebc534925734821e8921bac07c67af6d39 Mon Sep 17 00:00:00 2001
From: Vincent van Ravesteijn <vfr@lyx.org>
Date: Thu, 3 May 2012 15:11:10 +0200
Subject: [PATCH] configure.py: Replace 'ltx' by 'log' case insensitively

On windows the temporary filename consists of uppercase characters. This
causes that the extension does not get replaced, and the logfile is left
behind.

Checking the extension case insensitively will correctly remove the
logfile.
---
 lib/configure.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/configure.py b/lib/configure.py
index e9c83ee276..00cdbdb64b 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -124,7 +124,7 @@ def checkTeXPaths():
                 inpname = tmpfname.replace('\\', '/')
         else:
             inpname = cmdOutput('cygpath -m ' + tmpfname)
-        logname = os.path.basename(inpname.replace('.ltx', '.log'))
+        logname = os.path.basename(re.sub("(?i).ltx", ".log", inpname))
         inpname = inpname.replace('~', '\\string~')
         os.write(fd, r'\relax')
         os.close(fd)
-- 
2.39.2