From 2dfd2ac773482f26e393a199e9d04fc9c23d5794 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 16 Jun 2009 08:53:02 +0000
Subject: [PATCH] mention 'make {html,ps,pdf}'

---
 MAKEHELP    |    6 ++++++
 SUBMAKEHELP |   29 +++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 SUBMAKEHELP

diff --git a/MAKEHELP b/MAKEHELP
index 47db0ab..e8d23e0 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 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
+
-- 
1.7.10.4