GIF89a;
0) { if (match($0, "^# [0-9]* \".*\.h\"") != 0) { if (sub(top_srcdir, "$(top_srcdir)", $3) == 0) sub(top_builddir, "$(top_builddir)", $3) if (substr($3,2,1) != "/" && used[$3] != 1) { if (done == 0) printf(target " " target2 ":") done=1 printf(" \\\n\t" substr($3,2,length($3)-2)) used[$3] = 1; } } } if (done == 1) print "\n" } }