Use htlatex as a fallback when latex2html is not available.
Update documentation.