gdb/copyright.py: print notice about files that print copyright at runtime

During the last new year process, it seems that we forgot to update the
copyright notices printed by the various programs (see 713b99a9398 "gdb,
gdbserver: update copyright years in copyright notices").  Change
gdb/copyright.py to print a message about this.  For a procedure that
happens once a year, this seems sufficient to me, but if someone wants
to automate it I won't object.

While at it, change the formatting of the previous message, to match the
formatting of the first message (making it end with a colon).

Change-Id: I330f566221d102bab0a953bc324127f2466dd5cf
Approved-By: Tom Tromey <tom@tromey.com>

diff --git a/gdb/copyright.py b/gdb/copyright.py
index bd854dc83e44b8f72729d16eae18e74986dab120..425b7d21c613122b13bfeb6823b48e5eb6cfcfec 100755 (executable)
--- a/gdb/copyright.py
+++ b/gdb/copyright.py
@@ -191,11 +191,20 @@ def main(argv: list[str]) -> int | None:
     if BY_HAND:
         print()
         print(
-            "\033[31mREMINDER: The following files must be updated by hand." "\033[0m"
+            "\033[31mREMINDER: The following files must be updated by hand:" "\033[0m"
         )
         for filename in BY_HAND:
             print("  ", filename)
 
+    print()
+    print(
+        "\033[31mREMINDER: The following files contain code to print a copyright "
+        "notice at runtime, they must be updated by hand:\033[0m"
+    )
+    print("  gdb/top.c")
+    print("  gdbserver/gdbreplay.cc")
+    print("  gdbserver/server.cc")
+
 
 ############################################################################
 #