pushed tex files