--- doc/Makefile.in.orig	Sat May 27 07:23:34 2000
+++ doc/Makefile.in	Sat Jun 10 13:49:55 2000
@@ -71,7 +71,7 @@
 LIBTOOL = @LIBTOOL@
 LIBTOOL_FLAGS = @LIBTOOL_FLAGS@
 LN_S = @LN_S@
-MAKEINFO = @MAKEINFO@
+MAKEINFO = @MAKEINFO@ --no-split
 NM = @NM@
 OBJDUMP = @OBJDUMP@
 PACKAGE = @PACKAGE@
