On 06/12/2014 05:05 AM, ANDREUX Hugues wrote:
> According to the man page:
> "       --exclude=GLOB
>                Skip files whose*base name*  matches GLOB (using wildcard matching).

Thanks, I think that's a bug in the documentation, not in the code; 
grep's behavior is similar to that of tar's, which has similar options.  
I installed the attached documentation patch.