[PATCH] doc: drop reference to 'make'

[Keller, Jacob E]

On Wed, 2014-06-18 at 00:38 -0700, Brian Norris wrote:
> 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.
> 

Looks good, nice catch!

Thanks,
Jake

> 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/