--- doc/Makefile.in.orig	Fri Jul  2 09:24:54 1999
+++ doc/Makefile.in	Tue Aug 31 23:41:57 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@
