change extension from tex to html