#!/bin/sh
pngtopnm $1 | pnmscale -reduce 4 | pnmtopng > reduced/$1