Add code to convert .tex to .html