Patch: missing --run makeinfo

[Tom Tromey]

I'm checking this in.  It might not be best but at least it does the
right thing for me.

Tom

Index: ChangeLog
from  Tom Tromey  <address@hidden>

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

Index: lib/missing
===================================================================
RCS file: /cvs/automake/automake/lib/missing,v
retrieving revision 1.14
diff -u -r1.14 missing
--- lib/missing 2001/07/01 23:39:06 1.14
+++ lib/missing 2001/07/02 00:47:30
@@ -209,6 +209,11 @@
     ;;
 
   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