summaryrefslogtreecommitdiffstats
path: root/Doc
diff options
context:
space:
mode:
authorFred Drake <fdrake@acm.org>2004-11-05 04:05:06 (GMT)
committerFred Drake <fdrake@acm.org>2004-11-05 04:05:06 (GMT)
commit5c0ebdcb647aa3fba2407fef63f9734db5322ae3 (patch)
tree9d299e84f2db8eb86e4b62a17809b5eb40278fc5 /Doc
parent2cf5e1920b154ae7dbbee1418307efbff1854130 (diff)
downloadcpython-5c0ebdcb647aa3fba2407fef63f9734db5322ae3.zip
cpython-5c0ebdcb647aa3fba2407fef63f9734db5322ae3.tar.gz
cpython-5c0ebdcb647aa3fba2407fef63f9734db5322ae3.tar.bz2
- make the default image type PNG, to match mkhowto
- add a command-line option to control the image type
Diffstat (limited to 'Doc')
-rw-r--r--Doc/tools/support.py8
1 files changed, 6 insertions, 2 deletions
diff --git a/Doc/tools/support.py b/Doc/tools/support.py
index cd42fd0..fc4cafa 100644
--- a/Doc/tools/support.py
+++ b/Doc/tools/support.py
@@ -20,7 +20,9 @@ class Options:
# content components
"address=", "iconserver=", "favicon=",
- "title=", "uplink=", "uptitle="]
+ "title=", "uplink=", "uptitle=",
+ "image-type=",
+ ]
outputfile = "-"
columns = 1
@@ -51,7 +53,7 @@ class Options:
self.args = []
self.variables = {"address": "",
"iconserver": "icons",
- "imgtype": "gif",
+ "imgtype": "png",
"title": "Global Module Index",
}
@@ -93,6 +95,8 @@ class Options:
self.variables["iconserver"] = val.strip() or "."
elif opt == "--favicon":
self.favicon = val.strip()
+ elif opt == "--image-type":
+ self.variables["imgtype"] = val.strip()
else:
self.handle_option(opt, val)
if self.uplink and self.uptitle: