Re: [LyX master] Fix bug #5167: Correctly paint special characters in InsetMathFont

[Vincent van Ravesteijn]

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 ?

Vincent