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