[Olena-patches] last-svn-commit-41-g45b2ed4 Have texi2dvi use TeX4ht instead of HeVeA to produce HTML outputs.