BEGIN { FS="\""; print "/* Do not modify this file; it is created automatically"; print " by copying.awk. */"; print "extern int immediate_quit;"; print "static void"; print "copying_info ()"; print "{"; print " immediate_quit++;"; } NR == 1,/^[ ]*NO WARRANTY[ ]*$/ { if (! ($0 ~ /^[ ]*NO WARRANTY[ ]*$/)) { printf " printf_filtered (\""; for (i = 1; i < NF; i++) printf "%s\\\"", $i; printf "%s\\n\");\n", $NF; } } /^[ ]*NO WARRANTY[ ]*$/ { print " immediate_quit--;"; print "}"; print ""; print "static void"; print "warranty_info ()"; print "{"; print " immediate_quit++;"; } /^[ ]*NO WARRANTY[ ]*$/, /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/{ if (! ($0 ~ /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/)) { printf " printf_filtered (\""; for (i = 1; i < NF; i++) printf "%s\\\"", $i; printf "%s\\n\");\n", $NF; } } END { print " immediate_quit--;"; print "}"; print ""; print "void" print "_initialize_copying ()"; print "{"; 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.\");"; print "}"; }