print "/* Do not modify this file; it is created automatically";
print " by copying.awk. */";
print "extern int immediate_quit;";
print " immediate_quit++;";
NR ==
1,/^
[ ]*NO WARRANTY
[ ]*$
/ {
if (!
($
0 ~
/^
[ ]*NO WARRANTY
[ ]*$
/))
printf " printf_filtered (\"";
printf "%s\\n\");\n", $
NF;
/^
[ ]*NO WARRANTY
[ ]*$
/ {
print " immediate_quit--;";
print "warranty_info ()";
print " immediate_quit++;";
/^
[ ]*NO WARRANTY
[ ]*$
/, /^
[ ]*END OF TERMS AND CONDITIONS
[ ]*$
/{
if (!
($
0 ~
/^
[ ]*END OF TERMS AND CONDITIONS
[ ]*$
/))
printf " printf_filtered (\"";
printf "%s\\n\");\n", $
NF;
print " immediate_quit--;";
print "_initialize_copying ()";
print " add_info (\"copying\", copying_info,";
print " \"Conditions for redistributing copies of GDB.\");";
print " add_info (\"warranty\", warranty_info,";
print " \"Various kinds of warranty you do not have.\");";