| 
									
										
										
										
											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 09:23:22 -05: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); | 
					
						
							|  |  |  |  | } |