On 05/04/2012 08:00 AM, Vincent van Ravesteijn wrote:
Op 3-5-2012 16:40, Vincent van Ravesteijn schreef:
commit a02bfeebc534925734821e8921bac07c67af6d39
Author: Vincent van Ravesteijn<v...@lyx.org>
Date: Thu May 3 15:11:10 2012 +0200
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.
To branch ?
OK.
Richard
