Update copyright script.

diff --git a/src/tools/copyright b/src/tools/copyright
index 393d9dfd9f75a59da9e3b91954ccc153067db782..b0318c77577f97175ac059d479c7b1c214ad8444 100755 (executable)
--- a/src/tools/copyright
+++ b/src/tools/copyright
@@ -1,4 +1,4 @@
-rgrepc -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE
+rgrep -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE
 do
    pipe sed 's/^\(.*Copyright (c) [12][0-9][0-9][0-9]-\)[12][0-9][0-9][0-9]\(, PostgreSQL Global Development Group.*\)$/\12005\2/' $FILE
 done