#!/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