* copying.awk: Protoization, and I18n markup.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1b3a149bca2b5a94c9de9d6993fe32669090cb9c..7d34f3c29fd45c4565ca05de0de80cfb6718e523 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2007-08-23  Joel Brobecker  <brobecker@adacore.com>
+
+       * copying.awk: Protoization, and I18n markup.
+
 2007-08-23  Joel Brobecker  <brobecker@adacore.com>
 
        * config/djgpp/djconfig.sh: Switch license to GPLv3.

diff --git a/gdb/copying.awk b/gdb/copying.awk
index 53f7a6f518df4b68f2504d63ca17f20f1ce45a30..94e5f1b2105b878f40549ea626f995b6dc4044b9 100644 (file)
--- a/gdb/copying.awk
+++ b/gdb/copying.awk
@@ -15,9 +15,7 @@ BEGIN {
          print ""
          print "extern int immediate_quit;";
          print "static void";
-         print "show_copying_command (ignore, from_tty)";
-         print "     char *ignore;";
-         print "     int from_tty;";
+         print "show_copying_command (char *ignore, int from_tty)";
          print "{";
          print "  immediate_quit++;";
        }
@@ -39,9 +37,7 @@ NR == 1,/^[   ]*NO WARRANTY[  ]*$/    {
          print "}";
          print "";
          print "static void";
-         print "show_warranty_command (ignore, from_tty)";
-         print "     char *ignore;";
-         print "     int from_tty;";
+         print "show_warranty_command (char *ignore, int from_tty)";
          print "{";
          print "  immediate_quit++;";
        }
@@ -59,19 +55,19 @@ END {
          print "}";
          print "";
          print "void"
-         print "_initialize_copying ()";
+         print "_initialize_copying (void)";
          print "{";
          print "  add_cmd (\"copying\", no_class, show_copying_command,";
-         print "          \"Conditions for redistributing copies of GDB.\",";
+         print "          _(\"Conditions for redistributing copies of GDB.\"),";
          print "          &showlist);";
          print "  add_cmd (\"warranty\", no_class, show_warranty_command,";
-         print "          \"Various kinds of warranty you do not have.\",";
+         print "          _(\"Various kinds of warranty you do not have.\"),";
          print "          &showlist);";
          print "";
          print "  /* For old-timers, allow \"info copying\", etc.  */";
          print "  add_info (\"copying\", show_copying_command,";
-         print "           \"Conditions for redistributing copies of GDB.\");";
+         print "           _(\"Conditions for redistributing copies of GDB.\"));";
          print "  add_info (\"warranty\", show_warranty_command,";
-         print "           \"Various kinds of warranty you do not have.\");";
+         print "           _(\"Various kinds of warranty you do not have.\"));";
          print "}";
        }