* doc/install.texi2html: Use $MAKEINFO --no-split.