# $Id: runptx,v 1.5 2005/11/28 23:12:15 rahtz Exp $

#!/bin/bash
#
# $Id: runptx,v 1.5 2005/11/28 23:12:15 rahtz Exp $
#
#et -x

export TEXINPUTS=inputs:

MPFILE="FOOBAR"
PARAM="-D600 -mode ljfour"
TEX=tex
F=`basename $1 .ptx`
if test -r $F.eps
then
echo $F.eps already made
else
$TEX $F.ptx
R=`grep "MusiXTeX" $F.log` >& /dev/null
if test $? = 0
then
musixflx $F
$TEX "\\nonstopmode\\input $F.ptx"
fi
dvips -j -E -Ppp $PARAM $F -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 -f $F.dvi $F.log $F.mx?
fi