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

BEGIN {
 prev = 1;
}

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

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