diff options
| author | Rob Austein <sra@hactrn.net> | 2012-06-14 02:29:41 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2012-06-14 02:29:41 +0000 |
| commit | e5e000e853bb3852bd40044aafdb44e4c2edd388 (patch) | |
| tree | f0d5c58ead0f0831263db94c91b3e17c290307e2 /buildtools/pull-doc-from-wiki.py | |
| parent | fd4688634978d892a56d32bc04f7837da182881e (diff) | |
svg2png (cairo) seems to do a slightly better conversion job.
svn path=/trunk/; revision=4539
Diffstat (limited to 'buildtools/pull-doc-from-wiki.py')
| -rw-r--r-- | buildtools/pull-doc-from-wiki.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildtools/pull-doc-from-wiki.py b/buildtools/pull-doc-from-wiki.py index 0cbe4f57..97c56ba2 100644 --- a/buildtools/pull-doc-from-wiki.py +++ b/buildtools/pull-doc-from-wiki.py @@ -103,7 +103,7 @@ def main(): if img_url.endswith(".svg"): #sys.stderr.write("Converting %s to PNG\n" % img_url) png_fd, png_fn = tempfile.mkstemp(suffix = ".png") - subprocess.Popen(("convert", "-resize", "800x800>", "svg:-", "png:-"), + subprocess.Popen(("svg2png", "-h", "700", "-w", "600", "-", "-"), stdout = png_fd, stdin = subprocess.PIPE).communicate(urllib.urlopen(img_url).read()) os.close(png_fd) |