diff options
| author | Fred Drake <fdrake@acm.org> | 2001-02-19 19:18:09 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 2001-02-19 19:18:09 (GMT) |
| commit | 50d1fcf61c792a0a8ae241f7f494c950990907d7 (patch) | |
| tree | d15adccb97ba59d316ef6285a52312ccfe161c41 /Doc | |
| parent | f2502adfc1a1952738156625dffc224d2d46bfbf (diff) | |
| download | cpython-50d1fcf61c792a0a8ae241f7f494c950990907d7.zip cpython-50d1fcf61c792a0a8ae241f7f494c950990907d7.tar.gz cpython-50d1fcf61c792a0a8ae241f7f494c950990907d7.tar.bz2 | |
Add an option allowing the user to determine where the output HTML is built.
Provide a way to set the paper size by name instead of only supporting
separate options for each size.
Diffstat (limited to 'Doc')
| -rwxr-xr-x | Doc/tools/mkhowto | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index 8826924..a1784c9 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -79,6 +79,7 @@ class Options: program = os.path.basename(sys.argv[0]) # address = '' + builddir = None debugging = 0 discard_temps = 1 have_temps = 0 @@ -117,8 +118,8 @@ class Options: "address=", "a4", "letter", "l2h-init=", "link=", "split=", "logging", "debugging", "keep", "quiet", "runs=", "image-type=", - "about=", "numeric", "style=", - "up-link=", "up-title=", + "about=", "numeric", "style=", "paper=", + "up-link=", "up-title=", "dir=", "global-module-index="] + list(self.ALL_FORMATS)) for opt, arg in opts: @@ -167,6 +168,10 @@ class Options: self.up_title = arg elif opt == "--global-module-index": self.global_module_index = arg + elif opt == "--dir": + self.builddir = arg + elif opt == "--paper": + self.paper = arg # # Format specifiers: # @@ -228,7 +233,7 @@ class Job: self.build_ps() if "html" in formats: self.require_temps() - self.build_html(self.doc) + self.build_html(self.options.builddir or self.doc) if self.options.icon_server == ".": pattern = os.path.join(TOPDIR, "html", "icons", "*." + self.options.image_type) |