% This is an empty METAFONT source file. Why do you want it? Because if
% mf says `Please type another input file name:' and if you don't have one
% in mind, you can just say `null' and METAFONT will get out of its loop.
