--- Makefile.in.orig Sun Sep 9 11:42:15 2001 +++ Makefile.in Sun Sep 9 11:42:51 2001 @@ -180,7 +180,7 @@ .texi.info: @cd $(srcdir) && rm -f $@ $@-[0-9] $@-[0-9][0-9] cd $(srcdir) \ - && $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) \ + && $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) --no-split \ `echo $< | sed 's,.*/,,'` .texi.dvi: