>>>>> "José" == José Matos <[EMAIL PROTECTED]> writes:
>> Or add a lyxrc entry for it and let configure.py fill the value in. >> Or just let port maintainers set the right value in lyxrc.dist. José> The problem is that by then is already too late because José> configure.py needs the location of the python version used. :-) But it uses the one found by configure, right? JMarc