Jean-Marc Lasgouttes wrote:
After running configure.py, I find the following files that should not be there unless --keep-temps is specified:chkconfig.sed wrap_chkconfig.log chkconfig.vars wrap_chkconfig.ltxchklatex.log chklatex.ltx chklayouts.texCould someone who knows about python (Bo?) fix it?
LOL! chkconfig.sed? Do we retain a dependency on sed still? Why? Angus