git.pond.sub.org Git - empserver/blob - info/Blank.awk

   1 # Will Edgington, wedgingt@nike.cair.du.edu
   2 /^$/    { if (prev != "") {
   3                 print
   4                 prev = ""
   5                 }
   6         next }
   7         {
   8                 print
   9                 prev = "a"
  10         }