Revert texi2html to OPTIONAL: only needed for building web. Fixes gub3 build.

diff --git a/configure.in b/configure.in
index 2cc862690a7df5db08357433b1e962efb2dbfa7b..d8f1199f23311d847de6c213b59771d0f8a78a5c 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -189,7 +189,7 @@ STEPMAKE_GUILE(OPTIONAL)
 STEPMAKE_PERL(OPTIONAL)
 
 STEPMAKE_PROGS(MAKEINFO, makeinfo, REQUIRED, 4.11)
-STEPMAKE_PROGS(TEXI2HTML, texi2html, REQUIRED, 1.80)
+STEPMAKE_PROGS(TEXI2HTML, texi2html, OPTIONAL, 1.80)
 
 AC_DEFINE_UNQUOTED(FLOWER_VERSION, "${FULL_FLOWER_VERSION}")