#!/bin/sh

FILES=$@
if [ "$FILES" = "" ] ; then
  FILES="lsm_velke lsm_male"
fi

TEX=csplain; export TEX

for FILE in $FILES ; do
  rm $FILE.mpx
  mpost $FILE
  mptopdf $FILE.1

  ./mp $FILE
  mv tmp.eps $FILE.eps
  #eps2png_crop $FILE.eps

  cp $FILE.1 $FILE-1.pdf $FILE.eps ../../figs/
done

exit


