11 lines
425 B
Text
11 lines
425 B
Text
--- configure.orig Fri Jan 15 08:39:56 1999
|
|
+++ configure Sun Jul 7 14:04:03 2002
|
|
@@ -791,7 +791,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 "$ac_t""found" 1>&6
|
|
else
|
|
MAKEINFO="$missing_dir/missing makeinfo"
|