From 0e7feb1d61f5b678e5f81747fd393bd3378dc1fa Mon Sep 17 00:00:00 2001
From: Tom Tromey <tromey@redhat.com>
Date: Mon, 2 Jul 2001 00:49:17 +0000
Subject: [PATCH] updated second copy of missing.  bleah.

---
 missing | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/missing b/missing
index 83dd56cc..b2040e4a 100755
--- a/missing
+++ b/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
-- 
2.43.5