mention 'make {html,ps,pdf}'

diff --git a/MAKEHELP b/MAKEHELP
index 47db0ab..e8d23e0 100644 (file)
--- 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).
 
      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)
   make install
 
      Installs GHC, libraries and tools under $(prefix)

diff --git a/SUBMAKEHELP b/SUBMAKEHELP
new file mode 100644 (file)
index 0000000..e680ef2
--- /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
+