dvitomp fix from Akira
[mplib] / src / texk / web2c / mpdir / install-sh
2008-06-10  Taco HoekwaterMove up