Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standardized Makefile for man page | sven.panne@aedion.de | 2006-12-30 | 1 | -31/+17 |
| | | | | | | | | | | | 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. | ||||
* | Make a ghc/ghci manpage | Ian Lynagh | 2006-12-05 | 2 | -0/+335 |
Set GhcManpages=YES in mk/build.mk if you want to build the manpage. |