patch applied (ghc-6.6/ghc): Standardized Makefile for man page
igloo at earth.li
Sat Feb 3 08:48:59 EST 2007
Sat Dec 30 03:56:23 PST 2006 sven.panne at aedion.de
* 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.
M ./docs/man/Makefile -31 +17
More information about the Cvs-ghc