#!/bin/sh
BASE=x

echo "mpost..."

mpost $BASE

echo "renaming..."

for i in $BASE.[0-9]*
do
  OF=$BASE
  K=${i#$BASE.}
  EPSFILE=$OF$K.eps
  mv $i $EPSFILE
done

echo "gs ..."

for i in $BASE*.eps
do
  gs -sDEVICE=ppmraw -dNOPAUSE -g640x480 -sOutputFile=${i%eps}ppm -q -- $i
done

echo "encode ..."

mpeg_encode $BASE.param