diff options
author | Rob Austein <sra@hactrn.net> | 2016-04-01 01:36:54 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2016-04-01 01:36:54 +0000 |
commit | 8bed5e77b17ad8548aa1c5ea82212c3882945f7d (patch) | |
tree | 4b5363e783a025f5f05119069974a645ced7bd66 | |
parent | 7d673267f2d00090fefd8fe646010c385fa2b58a (diff) |
Log image generation, since htmldoc occasionally barfs on image files.
svn path=/trunk/; revision=6343
-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()) |