From f01d48144dd62b47a76506e8a8bf1bb81d1d1130 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Sun, 8 Feb 2009 18:50:32 +0100 Subject: [PATCH] Revert texi2html to OPTIONAL: only needed for building web. Fixes gub3 build. (cherry picked from commit 0364058d18eb91836302a567c18289209d6e9706) --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.in b/configure.in index a5af1fc4f5..d45c4c0a44 100644 --- 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}") -- 2.39.5