gettext

683f768b - Don't fail if texi2html is not found.