diff options
| -rwxr-xr-x | Doc/tools/mkhowto | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index 4ce126b..7163974 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -443,6 +443,11 @@ class Job: self.run("%s %s *.html" % (PERL_BINARY, NODE2LABEL_SCRIPT)) finally: os.chdir(pwd) + # These files need to be cleaned up here since builddir there + # can be more than one, so we clean each of them. + if self.options.discard_temps: + for fn in ("images.tex", "images.log", "images.aux"): + safe_unlink(os.path.join(builddir, fn)) def build_text(self, tempdir=None): if tempdir is None: |