contrithanks.sh: exclude existing names case insensitively

diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh
index 63073042b0c2799c4841bfcaa58756491ca33c3a..6ca7e832ed27ad59753db05eac19ff19ebc59dd3 100755 (executable)
--- a/scripts/contrithanks.sh
+++ b/scripts/contrithanks.sh
@@ -54,4 +54,4 @@ sed 's/^ *//'
 sed -f ./docs/THANKS-filter | \
 grep -a ' ' | \
 sort -fu | \
-grep -axvf ./docs/THANKS
+grep -aixvf ./docs/THANKS