]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af5ecd1) | patch
configure.py: Replace 'ltx' by 'log' case insensitively
authorVincent van Ravesteijn <vfr@lyx.org>
Thu, 3 May 2012 13:11:10 +0000 (15:11 +0200)
committerVincent van Ravesteijn <vfr@lyx.org>
Thu, 3 May 2012 14:14:40 +0000 (16:14 +0200)
commita02bfeebc534925734821e8921bac07c67af6d39
tree32decb7a1be8e8d3021bc7402de0b7bd7e499e53tree | snapshot
parentaf5ecd1c8db5ad5b5dae5289eaf84fe1da12c2d8commit | diff
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 diff | blob | history
Repository for new features