Have copyright tool mention that certain files should be updated in back branches.

diff --git a/src/tools/copyright.pl b/src/tools/copyright.pl
index d78a8d8ce88835198dc96b9d1292d36cdc1b0d1a..b8b87613f8a404b605091d80ac163249489f9510 100755 (executable)
--- a/src/tools/copyright.pl
+++ b/src/tools/copyright.pl
@@ -51,5 +51,6 @@ sub wanted {
     untie @lines;
 }
 
-print "Manually update doc/src/sgml/legal.sgml and src/interfaces/libpq/libpq.rc.in too\n";
+print "Manually update doc/src/sgml/legal.sgml and src/interfaces/libpq/libpq.rc.in too.\n";
+print "Also update ./COPYRIGHT and doc/src/sgml/legal.sgml in all back branches.\n";