--- docs/Makefile.in.orig	Thu Jul  5 07:29:56 2001
+++ docs/Makefile.in	Wed Oct 24 09:09:39 2001
@@ -248,7 +248,7 @@
 	MAKEINFO='$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir)' \
 	$(TEXI2DVI) $<
 
-MAKEINFO = @MAKEINFO@
+MAKEINFO = @MAKEINFO@ --no-split
 TEXI2DVI = texi2dvi
 DVIPS = dvips
 .dvi.ps: