diff options
| author | Fred Drake <fdrake@acm.org> | 2004-11-05 04:05:06 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 2004-11-05 04:05:06 (GMT) |
| commit | 5c0ebdcb647aa3fba2407fef63f9734db5322ae3 (patch) | |
| tree | 9d299e84f2db8eb86e4b62a17809b5eb40278fc5 /Doc/tools | |
| parent | 2cf5e1920b154ae7dbbee1418307efbff1854130 (diff) | |
| download | cpython-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/tools')
| -rw-r--r-- | Doc/tools/support.py | 8 |
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: |