diff options
| -rwxr-xr-x | Doc/tools/mkhowto | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index 5e531053c8..af46fffbbc 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -347,9 +347,6 @@ class Job: if self.use_bibtex: self.run("%s %s" % (BIBTEX_BINARY, self.doc)) self.process_synopsis_files() - # - # let the doctype-specific handler do some intermediate work: - # self.run("%s %s" % (binary, self.doc)) self.latex_runs = self.latex_runs + 1 if os.path.isfile("mod%s.idx" % self.doc): |