[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Patch: missing --run makeinfo
From: |
Tom Tromey |
Subject: |
Patch: missing --run makeinfo |
Date: |
01 Jul 2001 19:08:14 -0600 |
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
- Patch: missing --run makeinfo,
Tom Tromey <=