diff options
Diffstat (limited to 'SUBMAKEHELP')
| -rw-r--r-- | SUBMAKEHELP | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/SUBMAKEHELP b/SUBMAKEHELP deleted file mode 100644 index e109d89ff7..0000000000 --- a/SUBMAKEHELP +++ /dev/null @@ -1,33 +0,0 @@ - - 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 show VALUE=var - - Show the value of $(var) - - 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 - |