From: Stefano Lattarini <stefano.lattarini@gmail.com>
Date: Wed, 20 Jun 2012 12:23:28 +0000 (+0200)
Subject: fixup: tests: special requirement 'makeinfo-html' removed from ./defs
X-Git-Tag: v1.12b~117
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5741ca220ca4ac908abdf78cc475e1e590b00a23;p=thirdparty%2Fautomake.git

fixup: tests: special requirement 'makeinfo-html' removed from ./defs

This should have ideally been part of earlier commit v1.12.1-93-g3c64d54.

* defs (makeinfo-html): Remove.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
---

diff --git a/defs b/defs
index a6d2b4a9d..0b01f5991 100644
--- a/defs
+++ b/defs
@@ -854,13 +854,6 @@ do
       makedepend -f- \
         || skip_all_ "required program 'makedepend' not available"
       ;;
-    makeinfo-html)
-      # Make sure we have makeinfo, and it understands '--html'.
-      echo "$me: running makeinfo --html --version"
-      makeinfo --html --version \
-        || skip_all_ "cannot find a makeinfo program that groks" \
-                     "the '--html' option"
-      ;;
     mingw)
       uname_s=`uname -s || echo UNKNOWN`
       echo "$me: system name: $uname_s"