diff options
| -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 |