Update copyright script.

diff --git a/src/tools/copyright b/src/tools/copyright
index 393d9df..b0318c7 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