From 3f5ecba1b2a0982336a9387ba98f47bbda9fc678 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Mon, 2 Jul 2001 00:48:12 +0000 Subject: [PATCH] * lib/missing (makeinfo): If makeinfo exists, and we're in --run mode, then simply fail. --- ChangeLog | 5 +++++ lib/missing | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/ChangeLog b/ChangeLog index 5ee02b23..aab9908c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2001-07-01 Tom Tromey + + * lib/missing (makeinfo): If makeinfo exists, and we're in --run + mode, then simply fail. + 2001-07-01 Tim Van Holder * 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 -- 2.43.5