From: Tom Tromey <tromey@redhat.com>
Date: Mon, 2 Jul 2001 00:48:12 +0000 (+0000)
Subject: 	* lib/missing (makeinfo): If makeinfo exists, and we're in --run
X-Git-Tag: Release-1-4h~8
X-Git-Url: https://sourceware.org/git/?a=commitdiff_plain;h=3f5ecba1b2a0982336a9387ba98f47bbda9fc678;p=automake.git

	* lib/missing (makeinfo): If makeinfo exists, and we're in --run
	mode, then simply fail.
---

diff --git a/ChangeLog b/ChangeLog
index 5ee02b23..aab9908c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2001-07-01  Tom Tromey  <tromey@redhat.com>
+
+	* lib/missing (makeinfo): If makeinfo exists, and we're in --run
+	mode, then simply fail.
+
 2001-07-01  Tim Van Holder  <tim.van.holder@pandora.be>
 
 	* lib/ylwrap: Improve support for DOS paths (and paths
diff --git a/lib/missing b/lib/missing
index 83dd56cc..b2040e4a 100755
--- a/lib/missing
+++ b/lib/missing
@@ -209,6 +209,11 @@ WARNING: \`$1' is missing on your system.  You should only need it if
     ;;
 
   makeinfo)
+    if test -z "$run" && sh -c 'makeinfo --version > /dev/null 2>&1'; then
+       # We have makeinfo, but it failed.
+       exit 1
+    fi
+
     echo 1>&2 "\
 WARNING: \`$1' is missing on your system.  You should only need it if
          you modified a \`.texi' or \`.texinfo' file, or any other file