- 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 cd42fd0060d46a630eec50178149bdf161791229..fc4cafaf878427e043b962ed574317dee0bcb237 100644 (file)
--- 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: