Thanks for the bug report. I installed the attached (slightly different) patch
to fix the bug and inconsistency.
>From 61bbb574dcf350830b526bea61250e30d95057d0 Mon Sep 17 00:00:00 2001
From: Paul Eggert
Date: Thu, 2 Jan 2020 01:54:47 -0800
Subject: [PATCH] doc: fix --exclude description in man pag
'grep --help' incorrectly states that the --exclude option operates on
directories. Here's the suggested change to the help text:
- --exclude=GLOB skip files and directories matching GLOB
+ --exclude=GLOB skip files matching GLOB
It might also be worthwhile changing 'that
