debian/header.awk

   1 #! /usr/bin/gawk -f
   2
   3 BEGIN {
   4         sep = "============================================================================="
   5 }
   6
   7 FILENAME ~ /debian$/ {
   8         nextfile
   9 }
  10
  11 /^== END PATCH$/ {
  12         print ""
  13         nextfile
  14 }
  15
  16 FNR == 1 {
  17         print FILENAME "\n" substr(sep, 0, length(FILENAME)) "\n"
  18         next
  19 }
  20
  21 {
  22         print
  23 }