- make the default image type PNG, to match mkhowto
- add a command-line option to control the image type
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 @@
# content components
"address=", "iconserver=", "favicon=",
- "title=", "uplink=", "uptitle="]
+ "title=", "uplink=", "uptitle=",
+ "image-type=",
+ ]
outputfile = "-"
columns = 1
@@ -51,7 +53,7 @@
self.args = []
self.variables = {"address": "",
"iconserver": "icons",
- "imgtype": "gif",
+ "imgtype": "png",
"title": "Global Module Index",
}
@@ -93,6 +95,8 @@
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: