# process .mp files that include TeX programs.
case $# in
1) f=`basename $1 .mp`;;
*) echo Usage: $0 mp-file; exit 1;;
esac
mptotex $f.mp \
|  tex \
&& dvitomp texput.dvi $f.mpx \
&& mp $f.mp \
|| echo $0 failed!; exit 1
