--- Makefile.in.orig Fri Jun 8 12:23:56 2001 +++ Makefile.in Sat Sep 1 18:57:21 2001 @@ -143,7 +143,7 @@ MAKEINFO = `if [ -f $$r/texinfo/makeinfo/Makefile ] ; \ then echo $$r/texinfo/makeinfo/makeinfo ; \ - else echo makeinfo ; fi` + else echo makeinfo --no-split ; fi` # This just becomes part of the MAKEINFO definition passed down to # sub-makes. It lets flags be given on the command line while still