>>>>> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
>>>>> "Bo" == Bo Peng <[EMAIL PROTECTED]> writes:
Bo> There was a removeExtraFiles at the end of configure.py. Someone
Bo> removed it with reasons I can not remember.
Jean-Marc> I suspect it is my fault. I'll check.
Indeed :(
All this agitation is not completely useless, though, since with this
patch I add two new files that did not get removed (chklatex.*).
Committing soon.
JMarc
Index: lib/configure.py
===================================================================
--- lib/configure.py (revision 13791)
+++ lib/configure.py (working copy)
@@ -624,6 +624,15 @@ def checkTeXAllowSpaces():
removeFiles( [ 'a b.tex', 'a b.log', 'texput.log' ])
+def removeTempFiles():
+ # Final clean-up
+ if not lyx_keep_temps:
+ removeFiles(['chkconfig.sed', 'chkconfig.vars', \
+ 'wrap_chkconfig.ltx', 'wrap_chkconfig.log', \
+ 'chklayouts.tex', 'missfont.log',
+ 'chklatex.ltx', 'chklatex.log'])
+
+
if __name__ == '__main__':
lyx_check_config = True
outfile = 'lyxrc.defaults'
@@ -680,3 +689,4 @@ Options:
# --without-latex-config can disable lyx_check_config
checkLatexConfig( lyx_check_config and LATEX != '', bool_docbook, bool_linuxdoc)
createLaTeXConfig()
+ removeTempFiles()
