1 2 3 4 5 6 7 8 9 10 11
--- Makefile.in.orig Mon May 4 10:42:08 1998 +++ Makefile.in Mon May 4 10:42:34 1998 @@ -204,7 +204,7 @@ .texi.info: @cd $(srcdir) && rm -f $@ $@-[0-9] $@-[0-9][0-9] cd $(srcdir) \ - && $(MAKEINFO) `echo $< | sed 's,.*/,,'` + && $(MAKEINFO) --no-split `echo $< | sed 's,.*/,,'` .texi.dvi: TEXINPUTS=$(srcdir):$$TEXINPUTS \