Georg Baum a1cc936548 Ensure that TeXFiles.py is run by python2
We ensure that configure.py is called by python2, regardless whether 'python'
is python 2 or 3. Therefore we can simply call TeXFiles.py with the currently
running interpreter. This fixes configuration on systems where 'python' is
python 3.
2016-05-10 07:18:48 +02:00
..
2016-05-09 22:03:16 +02:00
2015-08-23 11:33:34 +02:00