#!/bin/sh

FILES=$@
if [ "$FILES" = "" ] ; then
  FILES="souradnice"
fi

TEX=csplain; export TEX

for FILE in $FILES ; do
  rm $FILE.mpx
  mpost $FILE
  mptopdf $FILE.1
  cp $FILE.1 $FILE-1.pdf ../
done

exit


