Add a "deprecated in" pragma
[ghc.git] / SUBMAKEHELP
1
2   make
3
4      Builds everything in this directory (including dependencies elsewhere
5      in the tree, if necessary)
6
7   make fast
8
9      The same as 'make', but omits some phases and does not
10      recalculate dependencies.  Useful for saving time if you are sure
11      the rest of the tree is up to date.
12
13   make clean
14   make distclean
15   make maintainer-clean
16
17      Clean just this directory
18
19   make html
20   make pdf
21   make ps
22      
23      Make documentation in this directory (if any)
24
25   make show VALUE=var
26
27      Show the value of $(var)
28
29   make <file>
30
31      Bring a particular file up to date, e.g. make dist/build/Module.o
32      The name <file> is relative to the current directory
33