#!/bin/csh

set width = $1
shift
set file  = "$*"
echo $file

foreach f ($file)
  pngtopnm $f | pnmscale -width $width | pnmtopng > $f:r.small.png
end

exit 0