docs: replace fgrep with grep -F
It's been deprecated for decades and in Debian system it's starting to print warnings. Just use grep -F instead.
Signed-off-by: Ralph Giles giles@thaumas.net
Resolves #2362 (closed)
It's been deprecated for decades and in Debian system it's starting to print warnings. Just use grep -F instead.
Signed-off-by: Ralph Giles giles@thaumas.net
Resolves #2362 (closed)