# This awk script is called from within Makefile to strip multiple blank
# lines from stdin.
BEGIN { newlines = 0 }
{
  if (NF == 0)
    newlines = 1;
  else
    {
      if (newlines)
	{
	  printf "\n";
	  newlines = 0;
	}
      print $0;
    }
}