MAKEINFOFLAGS=--no-split

INSTALL_DOSREL=install-dosrel