summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFred Drake <fdrake@acm.org>2001-02-19 19:18:09 (GMT)
committerFred Drake <fdrake@acm.org>2001-02-19 19:18:09 (GMT)
commit50d1fcf61c792a0a8ae241f7f494c950990907d7 (patch)
treed15adccb97ba59d316ef6285a52312ccfe161c41
parentf2502adfc1a1952738156625dffc224d2d46bfbf (diff)
downloadcpython-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.
-rwxr-xr-xDoc/tools/mkhowto11
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)