>>>>> "Bo" == Bo Peng <[EMAIL PROTECTED]> writes:
>> The problem I have with this approach is that the TeXFile.py is >> rather slow. On my system, it takes 11s, whereas configure.py >> itself needs 5s. Bo> Was TeXFile.sh any faster? I do not think so. This is a deficiency of the algorithm... But I do not know how to do it better. JMarc
