Saving Tex file