#!/bin/sh
true + /; exec gawk -f "$0" -- "$@"; / {}

BEGIN {
  prev = 1;
}

/^[ \t]*$/ {
  prev += 1;
  if (prev == 1) {
      print("");
  }
  next;
}

{
  prev = 0;
  print($0);
}