diff options
author | Fred Drake <fdrake@acm.org> | 2001-07-17 14:46:09 (GMT) |
---|---|---|
committer | Fred Drake <fdrake@acm.org> | 2001-07-17 14:46:09 (GMT) |
commit | aebbca3b610eccde876b243c54d75cae250c36f7 (patch) | |
tree | 2a56331068166dadc0c6791574fe3e0beddbd1ff | |
parent | 1b776a2745bd1c87128dea32745539a5593379bd (diff) | |
download | cpython-aebbca3b610eccde876b243c54d75cae250c36f7.zip cpython-aebbca3b610eccde876b243c54d75cae250c36f7.tar.gz cpython-aebbca3b610eccde876b243c54d75cae250c36f7.tar.bz2 |
Job.__init__(): Only create the builddir directory if it will be used (by
building the HTML or text documentation). There is no need to create
it for other formats.
Job.build_html(): The builddir parameter is always passed in, so it need
not be optional.
-rwxr-xr-x | Doc/tools/mkhowto | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index 5b69fe3..0d5d687 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -227,9 +227,12 @@ class Job: self.doctype = get_doctype(path) self.filedir, self.doc = split_pathname(path) self.builddir = os.path.abspath(options.builddir or self.doc) - if not os.path.exists(self.builddir): - os.mkdir(self.builddir) - self.log_filename = os.path.join(self.builddir, self.doc + ".how") + if ("html" in options.formats or "text" in options.formats): + if not os.path.exists(self.builddir): + os.mkdir(self.builddir) + self.log_filename = os.path.join(self.builddir, self.doc + ".how") + else: + self.log_filename = os.path.abspath(self.doc + ".how") if os.path.exists(self.log_filename): os.unlink(self.log_filename) if os.path.exists(self.doc + ".l2h"): @@ -350,9 +353,7 @@ class Job: def build_ps(self): self.run("%s -N0 -o %s.ps %s" % (DVIPS_BINARY, self.doc, self.doc)) - def build_html(self, builddir=None, max_split_depth=None): - if builddir is None: - builddir = self.builddir + def build_html(self, builddir, max_split_depth=None): if max_split_depth is None: max_split_depth = self.options.max_split_depth texfile = None |