#!/bin/sh -ex

# convert raw SVG into png of different sizes
rsvg-convert --format png --width 64 --height 64 pdf2htmlEX.svg > pdf2htmlEX-64x64.png
rsvg-convert --format png --width 256 --height 256 pdf2htmlEX.svg > pdf2htmlEX-256x256.png
# optimize for web
pngnq pdf2htmlEX-64x64.png
mv pdf2htmlEX-64x64-nq8.png ../share/pdf2htmlEX-64x64.png