diff options
Diffstat (limited to 'buildtools/pull-doc-from-wiki.py')
| -rw-r--r-- | buildtools/pull-doc-from-wiki.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/buildtools/pull-doc-from-wiki.py b/buildtools/pull-doc-from-wiki.py index e3b61b53..7acc82a8 100644 --- a/buildtools/pull-doc-from-wiki.py +++ b/buildtools/pull-doc-from-wiki.py @@ -90,9 +90,10 @@ def main(): for img in page.xpath("//img | //object | //embed"): attr = "data" if img.tag == "object" else "src" img_url = img.get(attr) + sys.stderr.write("Image URL: {}\n".format(img_url)) if img_url.endswith(".svg"): - #sys.stderr.write("Converting %s to PNG\n" % img_url) png_fd, png_fn = tempfile.mkstemp(suffix = ".png") + sys.stderr.write("Converting {} to {}\n".format(img_url, png_fn)) subprocess.Popen(("svg2png", "-h", "700", "-w", "600", "-", "-"), stdout = png_fd, stdin = subprocess.PIPE).communicate(urllib.urlopen(img_url).read()) |