3 print "/* ==> Do not modify this file!! It is created automatically";
4 print " by copying.awk. Modify copying.awk instead. <== */";
6 print "#ifdef DEBUGGING";
8 print "#include \"nitfol.h\"";
10 print "void show_copying(void)";
12 print " infix_print_fixed_string(";
14 NR == 1,/^[ ]*NO WARRANTY[ ]*$/ {
19 else if ($0 !~ /^[ ]*NO WARRANTY[ ]*$/)
22 for (i = 1; i <= NF; i++)
24 gsub("\011", " ", $i);
30 /^[ ]*NO WARRANTY[ ]*$/ {
34 print "void show_warranty(void)";
36 print " infix_print_fixed_string(";
38 /^[ ]*NO WARRANTY[ ]*$/, /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/{
39 if (! ($0 ~ /^[ ]*END OF TERMS AND CONDITIONS[ ]*$/))
42 for (i = 1; i <= NF; i++)
44 gsub("\011", " ", $i);
47 printf "\\n\"\n", $NF;