[Olena-patches] last-svn-commit-40-g9693e15 Use texi2dvi to produce HTML from LaTeX.