2012-01-18 21:06:29 +00:00
|
|
|
|
BEGIN { srcname = "nothing"; }
|
|
|
|
|
{ if (/^A\.[0-9][0-9]*\.* *[a-zA-Z][a-zA-Z_0-9]*\.[ch]/) {
|
|
|
|
|
if (srcname != "nothing")
|
|
|
|
|
close(srcname);
|
|
|
|
|
srcname = $2;
|
|
|
|
|
printf("creating source file %s\n", srcname);
|
|
|
|
|
}else if (srcname != "nothing") {
|
2017-12-22 14:23:22 +00:00
|
|
|
|
if (/Andersen,* *et* *al\./)
|
2012-01-18 21:06:29 +00:00
|
|
|
|
printf("skipping %s\n", $0);
|
|
|
|
|
else if (//)
|
|
|
|
|
printf("skipping2 %s\n", $0);
|
|
|
|
|
else if (/Internet Low Bit Rate Codec *December 2004/)
|
|
|
|
|
printf("skipping3 %s\n", $0);
|
|
|
|
|
else if (/Authors' *Addresses/){
|
|
|
|
|
close(srcname);
|
|
|
|
|
exit;}
|
|
|
|
|
else
|
|
|
|
|
print $0 >> srcname;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
END {
|
|
|
|
|
printf("ending file %s\n", srcname);
|
|
|
|
|
close(srcname);
|
|
|
|
|
}
|