-
Reuben Thomas authored
Add rules for building and installing documentation. The story is as follows: GhcDocWays is set to a list of ways to build SGML docs (typically in build.mk; it defaults to empty). SGML_DOC = foo causes foo to be built for each way. SGML_INSTALL_DOCS are then installed for each way; INSTALL_DOCS are just taken as literal filenames. make install-docs causes documents to be installed. Also some other clearups: Use $(if ...) where a comment lamented its non-existence. Remove a comment about a "weird" use of exit which has vanished.
60d2f334