From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 8 Feb 2009 17:50:32 +0000 (+0100)
Subject: Revert texi2html to OPTIONAL: only needed for building web.  Fixes gub3 build.
X-Git-Tag: release/2.12.3-1~126
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=f01d48144dd62b47a76506e8a8bf1bb81d1d1130;p=lilypond.git

Revert texi2html to OPTIONAL: only needed for building web.  Fixes gub3 build.
(cherry picked from commit 0364058d18eb91836302a567c18289209d6e9706)
---

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}")