#!/bin/sh
#edit to suit your installdir
#echo I NEED TO BE EDITED
case $# in
0)      echo usage: mdo [mppoptions] file; exit 1;;
esac

MPPDIR=../mpp-0.46 #please fill in appropriate dir

/bin/rm -f *.mx?

$MPPDIR/mpp $* && tex $1  && musixflx $1  && tex $1

