diff options
Diffstat (limited to 'config/mh-cygwin32')
| -rw-r--r-- | config/mh-cygwin32 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/mh-cygwin32 b/config/mh-cygwin32 new file mode 100644 index 0000000..14a9f89 --- /dev/null +++ b/config/mh-cygwin32 @@ -0,0 +1,6 @@ +# 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 |