From 53cea1498612cd29077ff8fb656d7fdef9c1af3e 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.

(cherry picked from commit a02bfeebc534925734821e8921bac07c67af6d39)
---
 lib/configure.py | 2 +-
 status.20x       | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/lib/configure.py b/lib/configure.py
index cfeab936a2..b7ba8440f2 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)
diff --git a/status.20x b/status.20x
index 8ba9de2539..93ffb8ffef 100644
--- a/status.20x
+++ b/status.20x
@@ -212,3 +212,6 @@ What's new
 
 - Included the qt gif plugin in the Windows installer. This
   enables the busy icon in the status bar.
+
+- Remove a temporary log file from the user directory after reconfigure.
+
-- 
2.39.5