diff options
| author | Fred Drake <fdrake@acm.org> | 2004-11-05 04:05:06 +0000 |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 2004-11-05 04:05:06 +0000 |
| commit | bb9a6a4af0d71ff41357b8fa84f0fb34432582dc (patch) | |
| tree | 5fe163e3a68d18e9600038de9a1584308ff93ae8 /Doc/tools | |
| parent | 750044b72164f3ab00153940584bad843247dd2e (diff) | |
| download | cpython-bb9a6a4af0d71ff41357b8fa84f0fb34432582dc.tar.gz | |
- 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 cd42fd0060..fc4cafaf87 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: |