#!/bin/awk -f
#< concatenate multiple blank lines
/^[ \t]*$/ { ++count; next; }
{
   if ( count != 0 ) {
      print "\n", $0;
      count = 0;
   } else {
      print $0;
   }
}