mention 'make {html,ps,pdf}'

[ghc-hetmet.git] / SUBMAKEHELP

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
+