BEGIN {
FS="\"";
- print "/* Do not modify this file; it is created automatically";
- print " by copying.awk. */";
+ print "/* ==> Do not modify this file!! It is created automatically";
+ print " by copying.awk. 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 ""
+ print "static void show_warranty_command PARAMS ((char *, int));"
+ print ""
+ print "void _initialize_copying PARAMS ((void));"
+ print ""
print "extern int immediate_quit;";
print "static void";
- print "copying_info ()";
+ print "show_copying_command (ignore, from_tty)";
+ print " char *ignore;";
+ print " int from_tty;";
print "{";
print " immediate_quit++;";
}
NR == 1,/^[ ]*NO WARRANTY[ ]*$/ {
- if (! ($0 ~ /^[ ]*NO WARRANTY[ ]*$/))
+ if ($0 ~ /\f/)
+ {
+ printf " printf_filtered (\"\\n\");\n";
+ }
+ else if ($0 !~ /^[ ]*NO WARRANTY[ ]*$/)
{
printf " printf_filtered (\"";
for (i = 1; i < NF; i++)
print "}";
print "";
print "static void";
- print "warranty_info ()";
+ print "show_warranty_command (ignore, from_tty)";
+ print " char *ignore;";
+ print " int from_tty;";
print "{";
print " immediate_quit++;";
}
print "void"
print "_initialize_copying ()";
print "{";
- print " add_info (\"copying\", copying_info,";
+ print " add_cmd (\"copying\", no_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 " &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 " add_info (\"warranty\", warranty_info,";
- print " \"Various kinds of warranty you do not have.\");";
+ print " add_info (\"warranty\", show_warranty_command,";
+ print " \"Various kinds of warranty you do not have.\");";
print "}";
}
-
-
-