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