echo "**- makeTeXPK --- Metafont not currently available -**"
quit 5
