Bo Peng wrote: > TeXFiles.createTeXFiles(['configure.py']) > > So ['configure.py'] is just a place holder for sys.argv[0]?
Exactly. > It is kind > of confusing. It is trivial to refactor that so that we have a more meaningful argument, but first I want to know if there are any reasons not to create the lst files in configure.py. Georg
