adds tex file