mention 'make {html,ps,pdf}'

2 files changed, 35 insertions, 0 deletions

diff --git a/MAKEHELP b/MAKEHELP
index 47db0ab7c4..e8d23e0126 100644
--- a/MAKEHELP
+++ b/MAKEHELP
@@ -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
+