# We set MAKEINFOFLAGS to not split .info files, because the resulting
# file names don't work on DOS.
MAKEINFOFLAGS=--no-split

# This does some sort of DOS specific installation, I guess.
INSTALL_DOSREL=install-dosrel