summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@nomic.retiolum>2013-11-06 18:04:15 +0100
committertv <tv@nomic.retiolum>2013-11-06 18:04:15 +0100
commit58718154e9df9609448caf3098932f4df2a796e1 (patch)
treefd734ffb833f91a17ba469cf6102332932dd7ee1
parentc63dde2f683c96bcf9c883c533efc58882139ffc (diff)
ship: talk harder about Make Interface
-rw-r--r--ship/README.markdown11
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