new tex2html and tex2pdf tasks