blob: 4c1f5f00a73d7c669ea67ec5f5baa317de1fbf92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.orig Sat Aug 25 05:52:39 2001
+++ configure Sun Sep 23 06:24:47 2001
@@ -1228,7 +1228,7 @@
# an executable is not found, even if stderr is redirected.
# Redirect stdin to placate older versions of autoconf. Sigh.
if (makeinfo --version) < /dev/null > /dev/null 2>&1; then
- MAKEINFO=makeinfo
+ MAKEINFO="makeinfo --no-split"
echo "$as_me:1232: result: found" >&5
echo "${ECHO_T}found" >&6
else
|
