Log Message:
Fix check for texi2html to work with older texi2html versions.
While at it, don't build the html documentation that isn't installed
anyway.