From 58718154e9df9609448caf3098932f4df2a796e1 Mon Sep 17 00:00:00 2001 From: tv Date: Wed, 6 Nov 2013 18:04:15 +0100 Subject: ship: talk harder about Make Interface --- ship/README.markdown | 11 +++++++---- 1 file 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 -- cgit v1.2.3