doc: drop reference to 'make'

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@gmail.com>

diff --git a/doc/README b/doc/README
index 28e0bca3b82046dad04da55dc75c5bdeb9d3a86f..c10d691afd028f4f1fb7ac85cf3f7067806c1bb1 100644 (file)
--- 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/