mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-27 16:15:05 +00:00
2aae2af845
Close #13923.
25 lines
643 B
Awk
25 lines
643 B
Awk
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") {
|
||
if (/Andersen,* *et* *al\./)
|
||
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);
|
||
}
|