- Add --no-split to the makeinfo command line. - Remove info files before makeinfo.
Approved-By: asami