Clean up some files that LaTeX2HTML drops in the HTML output directory
sometimes.
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 @@
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: