diff options
| -rw-r--r-- | MAKEHELP | 6 | ||||
| -rw-r--r-- | SUBMAKEHELP | 29 |
2 files changed, 35 insertions, 0 deletions
@@ -31,6 +31,12 @@ Common commands: Build just those libraries that are built by stage1 (omit the "1" to build all libraries, but that will also update the stage2 compiler). + make html + make pdf + make ps + + Make documentation + make install Installs GHC, libraries and tools under $(prefix) diff --git a/SUBMAKEHELP b/SUBMAKEHELP new file mode 100644 index 0000000000..e680ef20cf --- /dev/null +++ b/SUBMAKEHELP @@ -0,0 +1,29 @@ + + make + + Builds everything in this directory (including dependencies elsewhere + in the tree, if necessary) + + make fast + + The same as 'make', but omits some phases and does not + recalculate dependencies. Useful for saving time if you are sure + the rest of the tree is up to date. + + make clean + make distclean + make maintainer-clean + + Clean just this directory + + make html + make pdf + make ps + + Make documentation in this directory (if any) + + make <file> + + Bring a particular file up to date, e.g. make dist/build/Module.o + The name <file> is relative to the current directory + |