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)

diff --git a/lib/configure.py b/lib/configure.py
index cfeab936a265d9139b4fb4f9b18c23bbd3c3a29a..b7ba8440f2f3d53274dcc6f18da41f0497f1c873 100644 (file)
--- 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 8ba9de253941ed11e8c7ac40da2d227e621ed9c4..93ffb8ffef47ebcd6425523dd46b339eea636d4d 100644 (file)
--- 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.
+