Included code extraction script

1 files changed, 24 insertions, 0 deletions

diff --git a/extract-cfile.awk b/extract-cfile.awk
new file mode 100644
index 000000000000..3adae3018e41
--- /dev/null
+++ b/extract-cfile.awk
@@ -0,0 +1,24 @@
+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);

+}