--- doc/lispref/Makefile.in.orig	2008-12-09 19:27:59.000000000 +0200
+++ doc/lispref/Makefile.in	2008-12-09 19:25:20.000000000 +0200
@@ -32,7 +32,7 @@
 TEXI2DVI = texi2dvi
 SHELL = /bin/sh
 INSTALL_INFO = install-info
-MAKEINFO = makeinfo --force
+MAKEINFO = makeinfo --force --no-split
 
 # List of all the texinfo files in the manual: