diff options
Diffstat (limited to 'Doc/tools')
-rwxr-xr-x | Doc/tools/mkhowto | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index de59602..7edf5ff 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -349,6 +349,9 @@ class Job: # build the command line and run LaTeX2HTML: if not os.path.isdir(builddir): os.mkdir(builddir) + else: + for fname in glob.glob(os.path.join(builddir, "*.html")): + os.unlink(fname) args = [LATEX2HTML_BINARY, "-init_file", self.l2h_aux_init_file, "-dir", builddir, |