Fix ARI text for floatformat_from_double

[deliverable/binutils-gdb.git] / gdb / copying.awk

diff --git a/gdb/copying.awk b/gdb/copying.awk
index 94e5f1b2105b878f40549ea626f995b6dc4044b9..1cd596a56411ae56b29b2b8ef26c1386350b8796 100644 (file)
--- a/gdb/copying.awk
+++ b/gdb/copying.awk
@@ -1,30 +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 (char *, int);"
+         print "static void show_copying_command (const char *, int);"
          print ""
-         print "static void show_warranty_command (char *, int);"
+         print "static void show_warranty_command (const char *, int);"
          print ""
-         print "void _initialize_copying (void);"
-         print ""
-         print "extern int immediate_quit;";
          print "static void";
-         print "show_copying_command (char *ignore, 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 ~ /\f/)
            {
              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++)
@@ -32,16 +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 (char *ignore, 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 (\"";
@@ -51,16 +48,15 @@ NR == 1,/^[         ]*NO WARRANTY[  ]*$/    {
            }
        }
 END    {
-         print "  immediate_quit--;";
          print "}";
          print "";
          print "void"
          print "_initialize_copying (void)";
          print "{";
-         print "  add_cmd (\"copying\", no_class, show_copying_command,";
+         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 "  add_cmd (\"warranty\", no_set_class, show_warranty_command,";
          print "          _(\"Various kinds of warranty you do not have.\"),";
          print "          &showlist);";
          print "";