* lib/missing (makeinfo): If makeinfo exists, and we're in --run

	mode, then simply fail.

diff --git a/ChangeLog b/ChangeLog
index 5ee02b23eb752acd663601f3e347d16ce9a1cffc..aab9908c440a367d13508fa5729fd231efa45414 100644 (file)
--- 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 83dd56cc3531120bbf167d0cfd5354e3b9a18342..b2040e4a9cdc98096633de2c86e3c5d4c68bfb92 100755 (executable)
--- 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