--- doc/Makefile.in.orig	Sat Nov 25 10:45:40 1995
+++ doc/Makefile.in	Thu Aug 27 14:42:31 1998
@@ -25,7 +25,7 @@
 
 INSTALL = @INSTALL@
 INSTALL_DATA = @INSTALL_DATA@
-MAKEINFO = makeinfo
+MAKEINFO = makeinfo --no-split
 TEXI2DVI = texi2dvi
 TOUCH = echo timestamp >
 
