--- doc/Makefile.in.orig	Fri May 28 00:34:52 1999
+++ doc/Makefile.in	Fri May 28 00:35:09 1999
@@ -70,7 +70,7 @@
 LIBTOOL = @LIBTOOL@
 LIBTOOL_FLAGS = @LIBTOOL_FLAGS@
 LN_S = @LN_S@
-MAKEINFO = @MAKEINFO@
+MAKEINFO = @MAKEINFO@ --no-split
 NM = @NM@
 OBJDUMP = @OBJDUMP@
 PACKAGE = @PACKAGE@
