if test $? = 1
then
echo "WRONG number of args!"
exit 1
fi
F=`basename $1 .abc`
if test -r $F.eps
then
echo $F.eps already made
else
rm -f music.*
abc2mtex -x $F.abc:1
tex music
musixflx music
tex music
dvips -j0 music -E -o $F.eps
# ^ font subsetting
/cleaneps $F.eps
if test ! -s $F.eps
then
rm $F.eps
echo "*************************** eps file $F.eps has zero size"
exit 1
fi
rm music.*
fi