[PATCH] doc: drop reference to 'make'

[Brian Norris]

We don't have a top-level Makefile any more, and we automatically build
the helper tools if they aren't present, so drop the README reference.

Signed-off-by: Brian Norris <computersforpeace at gmail.com>
---
 doc/README |    3 ---
 1 file changed, 3 deletions(-)

diff --git a/doc/README b/doc/README
index 28e0bca3b820..c10d691afd02 100644
--- a/doc/README
+++ b/doc/README
@@ -17,9 +17,6 @@ Also it is useful to know that the scripts never modify the repositories
 you specify and the scripts remove all the temporary files upon exit,
 Ctrl-C interruption, or error (unless -p option is specified).
 
-Do not forget to compile the 'remap-log' and 'aiaiai-locker' tools before using
-Aiaiai by just typing "make".
-
 The layout of the repository.
 
 * aiaiai/email/
-- 
1.7.9.5