postgresql/src/tools/copyright

rgrepc -l 'Copyright.*Regents' | while read FILE
do
	pipe sed 's/^\(.*\)\(Copyright.*Regents.*\)$/ * Portions Copyright (c) 1996-1999, PostgreSQL Global Development Group\
\1Portions \2/g' $FILE
done
Fix plpsql for bsdi. 2000-02-23 23:24:46 +01:00			`rgrepc -l 'Copyright.*Regents' \| while read FILE`
			`do`
Change Copyright from PostgreSQL, Inc to PostgreSQL Global Development Group. 2001-01-24 20:43:33 +01:00			`pipe sed 's/^\(.\)\(Copyright.Regents.\)$/ Portions Copyright (c) 1996-1999, PostgreSQL Global Development Group\`
Fix plpsql for bsdi. 2000-02-23 23:24:46 +01:00			`\1Portions \2/g' $FILE`
			`done`