Delete tex.html