#!/bin/bash

fich=`ls *.mp`

for i in $fich; do
	mpost $i
done

rm -f *.log
rm -f *.mpx
rm -f *.dvi

fich=`ls *.[0-9]`

for i in $fich; do
	j=`echo $i | sed 's#\.##'`
	mv $i $j.eps
done