--- docs/Makefile.in.orig	Mon Feb 14 14:19:59 2000
+++ docs/Makefile.in	Tue Mar  7 13:01:48 2000
@@ -76,7 +76,7 @@
 LIB_LDADD = @LIB_LDADD@
 LN_S = @LN_S@
 MAINT = @MAINT@
-MAKEINFO = @MAKEINFO@
+MAKEINFO = @MAKEINFO@ --no-split
 OBJDUMP = @OBJDUMP@
 PACKAGE = @PACKAGE@
 PLAYER_LIB = @PLAYER_LIB@