# HG changeset patch
# User David Boddie <david@boddie.org.uk>
# Date 1318704739 -7200
# Node ID e46ec73973f14fdfdda72dc13e07dfede25a1595
# Parent  1a36fae229c2f724ec3a53e8410b0886f6f77881
Added a simple tool to generate PNG previews of pages.

diff -r 1a36fae229c2 -r e46ec73973f1 materials/svg2png_previews.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/materials/svg2png_previews.py	Sat Oct 15 20:52:19 2011 +0200
@@ -0,0 +1,22 @@
+#!/usr/bin/env python
+
+import os, sys
+
+if __name__ == "__main__":
+
+    if not 1 <= len(sys.argv) <= 2:
+    
+        sys.stderr.write("Usage: %s [resolution in dpi]\n" % sys.argv[0])
+        sys.exit(1)
+    
+    elif len(sys.argv) == 2:
+        resolution = int(sys.argv[1])
+    else:
+        resolution = 144
+    
+    for i in range(4):
+        os.system("inkscape -e png/page-%i.png -d %i -y 255 svg/page-%i.svg" % (i, resolution, i))
+
+    os.system("inkscape -e png/cover.png -d %i -y 255 cover.svg" % resolution)
+    
+    sys.exit()