Convert TeXinfo files to HTML