diff options
Diffstat (limited to 'buildtools/pull-doc-from-wiki.py')
| -rw-r--r-- | buildtools/pull-doc-from-wiki.py | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/buildtools/pull-doc-from-wiki.py b/buildtools/pull-doc-from-wiki.py index e75a4e91..0cbe4f57 100644 --- a/buildtools/pull-doc-from-wiki.py +++ b/buildtools/pull-doc-from-wiki.py @@ -102,12 +102,10 @@ def main(): img_url = img.get(attr) if img_url.endswith(".svg"): #sys.stderr.write("Converting %s to PNG\n" % img_url) - svg = tempfile.NamedTemporaryFile(suffix = ".svg") - svg.write(urllib.urlopen(img_url).read()) - svg.flush() png_fd, png_fn = tempfile.mkstemp(suffix = ".png") - subprocess.check_call(("convert", "-resize", "800x800>", svg.name, png_fn)) - svg.close() + subprocess.Popen(("convert", "-resize", "800x800>", "svg:-", "png:-"), + stdout = png_fd, + stdin = subprocess.PIPE).communicate(urllib.urlopen(img_url).read()) os.close(png_fd) img.set(attr, png_fn) png_fns.append(png_fn) |