summaryrefslogtreecommitdiff
path: root/docs/man
Commit message (Collapse)AuthorAgeFilesLines
* Standardized Makefile for man pagesven.panne@aedion.de2006-12-301-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 manpageIan Lynagh2006-12-052-0/+335
Set GhcManpages=YES in mk/build.mk if you want to build the manpage.