Abridged version of the classic Cole Porter musical as broadcast live on the Hallmark Hall of Fame series on NBC