On Cygwin, use a Cygwin-style path for /bin/install's destination cygwin's /bin/install doesn't set file modes correctly if the destination path is a C: style path: $ /bin/install -c -m 644 foo /cygdrive/c/cygwin/home/ian/foo2 $ /bin/install -c -m 644 foo c:/cygwin/home/ian/foo3 $ ls -l foo* -rw-r--r-- 1 ian None 0 2011-01-06 18:28 foo -rw-r--r-- 1 ian None 0 2011-01-06 18:29 foo2 -rwxrwxrwx 1 ian None 0 2011-01-06 18:29 foo3 This causes problems for bindisttest/checkBinaries.sh which then thinks that e.g. the userguide HTML files are binaries. We therefore use a /cygdrive path if we are on cygwin
Standardized Makefile for man page Use our standard build machinery for building, installing and cleaning the man page. Do not use deprecated -<num> option for 'head'. Use $(RM) instead of explicit 'rm -f' for better portability. Note that we always build/install the man page with the 'install-docs' target now, this is the usual behaviour. "GhcManpages is dead, Jim..." This patch should unbreak 'make dist', too.