Any .tex file does the job. dvips does not handle the corresponding dvi file.