tfm: $(TFM_FILES)

dvi: $(DVI_FILES)

pfb: $(PFB_FILES)