--- Doc/Makefile.in.orig Thu Apr 20 04:03:42 2000 +++ Doc/Makefile.in Sat Apr 29 00:04:52 2000 @@ -37,7 +37,7 @@ @DEFS_MK@ -MAKEINFO = makeinfo +MAKEINFO = makeinfo --no-split TEXI2DVI = texi2dvi DVIPS = dvips TEXI2HTML = texi2html -expandinfo -split_chapter