#!/bin/bash # # $Id: runabc,v 1.6 2006/09/23 18:05:38 frank Exp $ # #et -x 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