#! /bin/bash
# The ps image must start at (0,0) so use: asy -a Z tvgen
if [ $# -lt 2 ]; then
  echo 'usage: tvepspng <xres>x<yres> <xsize>x<ysize>'
else
  EPSPNG='gs -dQUIET -dNOPAUSE -dBATCH -sDEVICE=png16m'
  $EPSPNG -r$1 -g$2 -sOutputFile=tvgen.png tvgen.eps
fi
