diff options
| author | tv <tv@nomic.retiolum> | 2013-11-06 18:04:15 +0100 |
|---|---|---|
| committer | tv <tv@nomic.retiolum> | 2013-11-06 18:04:15 +0100 |
| commit | 58718154e9df9609448caf3098932f4df2a796e1 (patch) | |
| tree | fd734ffb833f91a17ba469cf6102332932dd7ee1 | |
| parent | c63dde2f683c96bcf9c883c533efc58882139ffc (diff) | |
ship: talk harder about Make Interface
| -rw-r--r-- | ship/README.markdown | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/ship/README.markdown b/ship/README.markdown index 8d2e8097..01a63bd6 100644 --- a/ship/README.markdown +++ b/ship/README.markdown @@ -12,18 +12,21 @@ ## Make Interface - Build all executables from `src/` into `tmp/`: + Put libraries into `lib`. + Put executables into `src`. + + Build all executables from `src` into `tmp` with make [all] - Build all executables into `tmp/` and `//bin/`: + Build all executables from `src` into `tmp` and `//bin` with make install - Undo `make [all]`: + Undo `make [all]` with make clean - Undo `make install`: + Undo `make install` with make distclean |