Tex is rendered for input files with tex extension