#! /bin/csh -f
make_mf cmbx 11 14 17
make_mf cmmi 11 17 20
make_mf cmr 11 14 20 25
make_mf cmsl 11
make_mf cmss 11
make_mf cmsy 11 12 17 20
make_mf cmti 11
make_mf cmtt 11
