actually has the .tex files