Clean up some files that LaTeX2HTML drops in the HTML output directory

sometimes.

diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto
index 4ce126b0c6ab9f3722e255668ce85768b7863110..7163974a2b2c30429ea66f8a058aa8b020c2ff9c 100755 (executable)
--- 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: