X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=gdb%2Fcopying.awk;h=1cd596a56411ae56b29b2b8ef26c1386350b8796;hb=98f9338a584c5f68595fc97e692e83f700c8da3d;hp=4f53e92e88eeab25a9a1f3c9a06a80a6f40dcf1c;hpb=8b0b198558d0fc981f129e2e3dcbe00a0f308449;p=deliverable%2Fbinutils-gdb.git

diff --git a/gdb/copying.awk b/gdb/copying.awk
index 4f53e92e88..1cd596a564 100644
--- a/gdb/copying.awk
+++ b/gdb/copying.awk
@@ -1,32 +1,29 @@
 BEGIN	{
 	  FS="\"";
-	  print "/* ==> Do not modify this file!!  It is created automatically";
-	  print "   by copying.awk.  Modify copying.awk instead.  <== */";
+	  print "/* ==> Do not modify this file!!  " \
+		"-*- buffer-read-only: t -*- vi" \
+		":set ro:";
+	  print "   It is created automatically by copying.awk.";
+	  print "   Modify copying.awk instead.  <== */";
 	  print ""
 	  print "#include \"defs.h\""
 	  print "#include \"command.h\""
 	  print "#include \"gdbcmd.h\""
 	  print ""
-	  print "static void show_copying_command PARAMS ((char *, int));"
+	  print "static void show_copying_command (const char *, int);"
 	  print ""
-	  print "static void show_warranty_command PARAMS ((char *, int));"
+	  print "static void show_warranty_command (const char *, int);"
 	  print ""
-	  print "void _initialize_copying PARAMS ((void));"
-	  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 (const char *ignore, int from_tty)";
 	  print "{";
-	  print "  immediate_quit++;";
 	}
-NR == 1,/^[ 	]*NO WARRANTY[ 	]*$/	{
+NR == 1,/^[ 	]*15\. Disclaimer of Warranty\.[ 	]*$/	{
 	  if ($0 ~ //)
 	    {
 	      printf "  printf_filtered (\"\\n\");\n";
 	    }
-	  else if ($0 !~ /^[ 	]*NO WARRANTY[ 	]*$/) 
+	  else if ($0 !~ /^[ 	]*15\. Disclaimer of Warranty\.[ 	]*$/) 
 	    {
 	      printf "  printf_filtered (\"";
 	      for (i = 1; i < NF; i++)
@@ -34,18 +31,14 @@ NR == 1,/^[ 	]*NO WARRANTY[ 	]*$/	{
 	      printf "%s\\n\");\n", $NF;
 	    }
 	}
-/^[	 ]*NO WARRANTY[ 	]*$/	{
-	  print "  immediate_quit--;";
+/^[	 ]*15\. Disclaimer of Warranty\.[ 	]*$/	{
 	  print "}";
 	  print "";
 	  print "static void";
-	  print "show_warranty_command (ignore, from_tty)";
-	  print "     char *ignore;";
-	  print "     int from_tty;";
+	  print "show_warranty_command (const char *ignore, int from_tty)";
 	  print "{";
-	  print "  immediate_quit++;";
 	}
-/^[ 	]*NO WARRANTY[ 	]*$/, /^[ 	]*END OF TERMS AND CONDITIONS[ 	]*$/{  
+/^[ 	]*15\. Disclaimer of Warranty\.[ 	]*$/, /^[ 	]*END OF TERMS AND CONDITIONS[ 	]*$/{  
 	  if (! ($0 ~ /^[ 	]*END OF TERMS AND CONDITIONS[ 	]*$/)) 
 	    {
 	      printf "  printf_filtered (\"";
@@ -55,23 +48,22 @@ NR == 1,/^[ 	]*NO WARRANTY[ 	]*$/	{
 	    }
 	}
 END	{
-	  print "  immediate_quit--;";
 	  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 "  add_cmd (\"copying\", no_set_class, show_copying_command,";
+	  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 "  add_cmd (\"warranty\", no_set_class, show_warranty_command,";
+	  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 "}";
 	}