tfm: $(TFM_FILES)

dvi: $(DVI_FILES)