extract-cfile.awk 642 B

123456789101112131415161718192021222324
  1. BEGIN { srcname = "nothing"; }
  2. { if (/^A\.[0-9][0-9]*\.* *[a-zA-Z][a-zA-Z_0-9]*\.[ch]/) {
  3. if (srcname != "nothing")
  4. close(srcname);
  5. srcname = $2;
  6. printf("creating source file %s\n", srcname);
  7. }else if (srcname != "nothing") {
  8. if (/Andersen,* *et* *al\./)
  9. printf("skipping %s\n", $0);
  10. else if (/ /)
  11. printf("skipping2 %s\n", $0);
  12. else if (/Internet Low Bit Rate Codec *December 2004/)
  13. printf("skipping3 %s\n", $0);
  14. else if (/Authors' *Addresses/){
  15. close(srcname);
  16. exit;}
  17. else
  18. print $0 >> srcname;
  19. }
  20. }
  21. END {
  22. printf("ending file %s\n", srcname);
  23. close(srcname);
  24. }