HCoop
/
bpt
/
guile.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
27f9e37
)
(HAVE_MAKEINFO): Check for the makeinfo program and set this
author
Marius Vollmer
<mvo@zagadka.de>
Wed, 26 Dec 2001 15:36:43 +0000
(15:36 +0000)
committer
Marius Vollmer
<mvo@zagadka.de>
Wed, 26 Dec 2001 15:36:43 +0000
(15:36 +0000)
conditional accordingly.
configure.in
patch
|
blob
|
blame
|
history
diff --git
a/configure.in
b/configure.in
index
fb5a8e8
..
d0f4b34
100644
(file)
--- a/
configure.in
+++ b/
configure.in
@@
-172,6
+172,9
@@
AC_MINIX
AM_PROG_CC_STDC
AM_PROG_LIBTOOL
+AC_CHECK_PROG(have_makeinfo, maakeinfo, yes, no)
+AM_CONDITIONAL(HAVE_MAKEINFO, test "$have_makeinfo" = yes)
+
AC_C_CONST
AC_C_INLINE
AC_C_BIGENDIAN