#!/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.1 #please fill in appropriate dir
# MPPDIR=$HOME/music/mpp/mpp-0.46.1 #please fill in appropriate dir

/bin/rm -f *.mx?

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

